Member predicate Type::isImplicitlyConvertibleTo
Holds if this type is implicitly convertible to that
type.
predicate isImplicitlyConvertibleTo(Type that)
Holds if this type is implicitly convertible to that
type.
predicate isImplicitlyConvertibleTo(Type that)