function bar(arg as String) as Void {}
function works(arg as String?) as String {
return arg;
}
function fails(arg as String?) as Void {
bar(arg);
}
The type checker is happy to accept a String or Null return value in a function returning...