-
Sergio Costas authored
Until now, if the return value is marked as __crust_borrow__, crust shown an error saying that a non-borrowed value is being returned. This patch fixes this, because it is obvious that it must be possible to return NULL in these cases.
3d3712c0