Predicate Conversion::convRefType

INTERNAL: Do not use.

Holds if there is an implicit reference conversion from fromType to toType.

6.1.6: Implicit reference conversions.

predicate convRefType(Type fromType, Type toType)