On 2/3/2014 8:17 PM, Michel Fortin wrote: > That's not the case for nullable. Yes, it is. If the function accepts a pointer to S and returns a pointer to S.f, then a null pointer in means a null pointer out, and a completely different type.