Predicate Conversion::convConstantExpr

INTERNAL: Do not use.

Holds if there is a constant expression conversion from fromType to toType.

6.1.9: Implicit constant expression conversions.

predicate convConstantExpr(SignedIntegralConstantExpr e, SimpleType toType)