Rules / Types, classes & roles / exception

X::TypeCheck Reference

Error due to a failed type check

What it is #

Position in the hierarchy #

Routines #

Signatures are reproduced from the documentation, including their declared return types. A routine listed here is part of the type's published interface; whether Raku++ implements it is a separate question, answered by the examples below.

method operation #

method operation(--> Str:D)

Returns Str:D.

Returns a string description of the operation that failed, for example "assignment", "binding", "return".

method got #

method got()

Returns the object that failed to type check

method expected #

method expected()

Returns the type object against which the check failed.

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

class X::TypeCheck is Exception { }

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