is X::TypeCheck
Thrown when the type check of a binding operation fails.
For example:
my Int := "foo";CATCH ;# OUTPUT: «X::TypeCheck::Binding: Type check failed in binding; expected Int but got Str ("foo")»
Note that the compiler is free to detect obvious errors at compile time, and complain with a different error at compile time.