类 X::TypeCheck::Assignment

由于分配期间类型检查失败而导致的错误

class X::TypeCheck::Assignment is X::TypeCheck { }

当分配的类型检查失败时抛出的错误类。

例如，这将死

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

尽管编译器允许检测像此示例这样的明显情况，并在编译时以不同的错误进行抱怨。