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