nullable.cs

static void A(Predicate<object> match)
{
    if (match == null)
    {
        Helper();
    }

    match("");
}

[DoesNotReturn] // comment this line, and you will see warning on 'match("")' line 8: Dereference of a possibly null reference.
static void Helper()
{
    throw new Exception();
}