narrowing variable with `is None` when the type is a `Protocol` that matches `None` incorrectly gets narrowed to `Never`

[DetachHead]

from typing import Protocol

class Foo(Protocol): ...

def foo(x: Foo):
    if x is None:
        reveal_type(x) # revealed type is Never

foo(None) # no error