In X::TypeCheck§

See primary documentation in context for method expected.

method expected()

Returns the type object against which the check failed.