So for the case where the compiler is calling a pr...

# announcements

[gregschlom]

So for the case where the compiler is calling a proper instance method, then it could infer non nullity of the instance, right? Or am I missing something?