X::TypeCheck Reference
Error due to a failed type check
What it is #
Position in the hierarchy #
| Inherits from | — |
| Does | — |
| Inherited by | X::TypeCheck::Binding, X::TypeCheck::Return, X::TypeCheck::Assignment, X::TypeCheck::Splice |
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.