Predicate Conversion::convIdentity

INTERNAL: Do not use.

Holds if there exists an identity conversion from fromType to toType.

6.1.1: Identity conversion.

Equality modulo object and dynamic, that is, two types are considered identical if they are syntactically equal when replacing all occurrences of dynamic with object.

predicate convIdentity(Type fromType, Type toType)