Predicate defaultNullConversion
Holds if fromType
is NullType
, and toType
is a type that can represent
the null
value, such as a reference type, Nullable<T>
or a type parameter
with constraints that restrict it to a reference type.
Import path
import semmle.code.csharp.Conversion
predicate defaultNullConversion(Type fromType, Type toType)