Unexpectedly nice case of auto return type

[Basile B.]

I wish something like this was possible, until I change the 
return type of `alwaysReturnNull` from `void*` to `auto`.


---
class A {}
class B {}

auto alwaysReturnNull() // void*, don't compile
{
     writeln();
     return null;
}

A testA()
{
     return alwaysReturnNull();
}

B testB()
{
     return alwaysReturnNull();
}

void main()
{
     assert( testA() is null );
     assert( testB() is null );
}
---

OMG, isn't it nice that this works ?

I think that this illustrates an non intuitive behavior of auto 
return types.
One would rather expect auto to work depending on the inner 
return type.