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

Thrown when a return type check fails.

For 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")␤»

Typegraph§

Type relations for X::TypeCheck::Return
raku-type-graph X::TypeCheck::Return X::TypeCheck::Return X::TypeCheck X::TypeCheck X::TypeCheck::Return->X::TypeCheck Mu Mu Any Any Any->Mu Exception Exception Exception->Any X::TypeCheck->Exception

Expand chart above