Bugfix: fixes a case where code doesn't compile but should.
(This was a bug with return statements where the compiler did not inline a necessary "returns null" clause)