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.Conversion
predicate convIdentity(Type fromType, Type toType)