Talk:Restrict types
--Peter gummer 22:44, 24 June 2007 (CEST) The fact that {NONE} is not a subset of {T} interacts with the as-yet-unimplemented ECMA Void-safety rules. In Void-safe Eiffel, a: ?T is shorthand for a: T restrict {T .. NONE}, and a: T is a shorthand for a: T restrict {T .. NONE} - {NONE}.
