On 2014-01-17 16:05, Michel Fortin wrote:
This is basically what everyone would wish for a not-null type to do. The syntax is clean and the control flow forces you to check for null before use. Misuses result in a compile-time error.
Yes, exactly. But the issue is that the compiler needs to be modified for this.
-- /Jacob Carlborg
