Lyricdev
GitHub

LYR-SEM0196

a delegation the lowering cannot express yet

error, retired ยท spec 05-interfaces

Retired.

A field of a child interface forwards through the parent's table, and a generic member is forwarded per use, on the field's own member; nothing refuses either.

A type delegates an interface to a field whose type is another interface ([A by inner] with inner: B), or a generic member of an interface is reached on a type that forwards it to a field.