alias this and null reference

[Jonathan M Davis]

On Friday, April 27, 2012 18:49:48 Simen Kjaeraas wrote:
> On Friday, 27 April 2012 at 16:36:04 UTC, Namespace wrote:
> > By the following code i get a normal Access Violation.
> > My question is: why? Even if "f0" is null, the object must be
> > converted to Ref and there i check if the given object is null.
> 
> When trying to convert f0 to Ref, the compiler has to look in the
> vtable for the getRef function. The vtable is in a nonsensical
> place when the class reference is null, and thus it bails out.
> 
> Solution: mark getRef as final.

How about just sticking an assertion in with_ref to verify that it's parameter 
is non-null?

- Jonathan M Davis