Pattern variables are treated as oblivious

[gafter]

The following code should cause a warning when null is assigned to the non-nullable variable s, but no warning is produced.

#nullable enable
class Test
{
    static void M(object o)
    {
        if (o is string s) { }
        s = null;
    }
}