z2-Environment

Currently, extending X harms the fluid syntax capability w.r.t. the extender.

This can be fixed by

• changing X to X<Y extends X>
• adding a

protected abstract Class<U> clz();

• and by generally returning

clz().cast(this)

that that this .

Acceptance Criteria¶

• Make it so.