Rules / Types, classes & roles / exception

X::TypeCheck::Binding Reference

Error due to a failed type check during binding

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::Binding is X::TypeCheck { }

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

my Int $x := "foo";
CATCH { default { put .^name, ': ', .Str } };
# OUTPUT: «X::TypeCheck::Binding: Type check failed in binding; expected Int but got Str ("foo")␤»

Output

X::TypeCheck::Binding: Type check failed in binding; expected Int but got Str ("foo")

Documentation, Rakudo and Raku++ all agree.