Predicate Internal::nonNullValueImpliedUnary
Holds if expression e2 is a non-null value whenever e1 is.
Import path
import semmle.code.csharp.controlflow.Guardspredicate nonNullValueImpliedUnary(Expr e1, Expr e2)Holds if expression e2 is a non-null value whenever e1 is.
import semmle.code.csharp.controlflow.Guardspredicate nonNullValueImpliedUnary(Expr e1, Expr e2)