In X::TypeCheck§

See primary documentation in context for method expected

method expected()

Returns the type object against which the check failed.