2009/1/4 Michael Karcher wine@mkarcher.dialup.fu-berlin.de:
This eliminates the wrong null pointer check for pointers to interfaces.
This isn't correct. Object pointers are generated, I believe, in the case where we have an [in, out] unique pointer, since if the pointer has been set to NULL the previous memory needs to be freed (on the client side).
The correct fix for the problem you see is to implement (yet another) check in cant_be_null.