Predicate 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.
Import path
import semmle.code.csharp.Conversionpredicate convIdentity(Type fromType, Type toType)