=begin pod :kind("Type") :subkind("class") :category("exception")

=TITLE class X::TypeCheck::Return

=SUBTITLE Error due to a failed typecheck during C<return>

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

=end pod
