类 X::TypeCheck::Binding

绑定期间类型检查失败导致的错误

class X::TypeCheck::Binding is X::TypeCheck { }

当绑定操作的类型检查失败时抛出。

例如

my Int $x := "foo";
CATCH { default { put .^name, ': ', .Str } };
# OUTPUT: «X::TypeCheck::Binding: Type check failed in binding; expected Int but got Str ("foo")␤»

请注意，编译器可以自由地在编译时检测明显的错误，并在编译时用不同的错误进行抱怨。