Predicate Conversion::convBoxing

INTERNAL: Do not use.

Holds if there is a boxing conversion from fromType to toType.

6.1.7: Boxing conversions.

predicate convBoxing(Type fromType, Type toType)