&gt; You still haven&#x27;t said what&#x27;s wrong with the proposal.<p>&quot;The feature will not provide airtight guarantees, but should help find most nullability errors in code.&quot;<p>That seems like a pretty big flaw, but it&#x27;s still an improvement.<p>And it&#x27;s not exactly a slippery slope to add more kinds of strict.  Here, have a syntax:  use strict(a, b, c).