Spec#, nullables and more

[Pelle Månsson]

On 11/05/2010 12:43 PM, Gary Whatmore wrote:
> bearophile Wrote:
>> - A way to list what attributes are modified in a method (similar to my @outer).
>
> The compiler should do this itself.

Doesn't make sense.

>> My reference issue:
>> http://d.puremagic.com/issues/show_bug.cgi?id=4571
>
> Walter, please close this as wontfix. We don't need those. These extra runtime checks will slow down my code. I know myself when my pointer is null.
>
>   - G.W.

How, exactly, do you know when your references are null? Without 
runtime checks, of course.