class TEST create make feature {NONE} -- Creation make local simple_type: TEST1 [STRING] anchored_type: TEST1 [like x] none_type: TEST1 [detachable NONE] do create simple_type create anchored_type create none_type simple_type.test ("s") anchored_type.test ("x") none_type.test (Void) io.put_string ((<< >>).generating_type.name) io.new_line end feature {NONE} -- Access x: STRING do check False then end end end