https://dev.eiffel.com/index.php?action=history&feed=atom&title=Talk%3ARestrict_typesTalk:Restrict types - Revision history2026-05-09T16:28:21ZRevision history for this page on the wikiMediaWiki 1.24.1https://dev.eiffel.com/index.php?title=Talk:Restrict_types&diff=8920&oldid=prevPeter gummer: Void-safety2007-06-24T20:44:03Z<p>Void-safety</p>
<p><b>New page</b></p><div>--[[User:Peter gummer|Peter gummer]] 22:44, 24 June 2007 (CEST) The fact that <e>{NONE}</e> is not a subset of <e>{T}</e> interacts with the as-yet-unimplemented ECMA Void-safety rules. In Void-safe Eiffel, <e>a: ?T</e> is shorthand for <e>a: T restrict {T .. NONE}</e>, and <e>a: T</e> is a shorthand for <e>a: T restrict {T .. NONE} - {NONE}</e>.</div>Peter gummer