Rules / Types, classes & roles / exception

X::TypeCheck::Return Reference

Error due to a failed typecheck during C<return>

What it is #

Examples, run three ways #

Every example below comes from the official documentation, together with the output that documentation asserts. Each was then executed by Rakudo and by Raku++ when this page was built. Where the three agree, one result is shown; where they do not, all three are — because which of them is wrong is exactly the information worth having.

1 no-output · 1 ok

class X::TypeCheck::Return is X::TypeCheck { }

Not executed: the documentation states no expected output for this example.

sub f(--> Int) { "foo" }
f();
CATCH { default { put .^name, ': ', .Str } };
# OUTPUT: «X::TypeCheck::Return: Type check failed for return value; expected Int but got Str ("foo")␤»

Output

X::TypeCheck::Return: Type check failed for return value; expected Int but got Str ("foo")

Documentation, Rakudo and Raku++ all agree.