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