Regression with narrowing with negative intersection #20597

from __future__ import annotations
from typing import Any

class array: ...

def get_result() -> Any: ...

def foo(x: str | array) -> str:
    result = get_result()
    if isinstance(result, array):
        return "asdf"
    if result is x:
        reveal_type(result)  # N: Revealed type is "Any"
        return result
    raise