Another test - this one needs some inference fixes
Function now contains a hasreturn flag; if it's set, it will not infer a NoReturn type from its body