=begin pod

=TITLE class X::TypeCheck::Return

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

Thrown when a return type check fails.

For example

    sub f() returns Int { "foo" }
    f();

Dies with

    Type check failed for return value; expected 'Int' but got 'Str'

=end pod
