Regression with narrowing with negative intersection

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

As of https://github.com/python/mypy/pull/20492 we now get 14: error: Incompatible return value type (got "str | array", expected "str")
I don't have a fix for this in my stack (and expect a fix to be tricky)

Start by running the self-contained reproducer and compare its narrowing behavior with the change introduced by pull request 20492. Done means the example no longer reports an incompatible return type and preserves the expected revealed type of Any.