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.Conversionpredicate defaultNullConversion(Type fromType, Type toType)