(title) class X::TypeCheck::Return
class X::TypeCheck::Return is X::TypeCheck { }
sub f() returns Int { "foo" } f();
Type check failed for return value; expected 'Int' but got 'Str'