is Exception
类型检查失败时抛出的错误类。
方法§
方法 operation§
method operation(--> Str)
返回失败操作的字符串描述，例如 "assignment"、"binding"、"return"。
方法 got§
method got()
返回类型检查失败的对象
方法 expected§
method expected()
返回检查失败的类型对象。
类 X::TypeCheck
由于类型检查失败而导致的错误