class TEST1 [G] feature f (h: like x) is do end x: G end