Add regression tests

Author: hauntsaninja

test-data/unit/check-isinstance.test

@@ -2885,6 +2885,23 @@ if hasattr(mod, "y"):
 def __getattr__(attr: str) -> str: ...
 [builtins fixtures/module.pyi]
 
+[case testMultipleHasAttr]
+# flags: --warn-unreachable
+from __future__ import annotations
+from typing import Any
+
+def len(obj: object) -> Any: ...
+
+def f(x: type | str):
+    if (
+        hasattr(x, "__origin__")
+        and x.__origin__ is list
+        and hasattr(x, "__args__")
+        and len(x.__args__) == 1
+    ):
+        reveal_type(x.__args__[0])  # N: Revealed type is "Any"
+[builtins fixtures/module.pyi]
+
 [case testTypeIsntLostAfterNarrowing]
 from typing import Any
 

test-data/unit/check-narrowing.test

@@ -3181,3 +3181,21 @@ def main(y: Any):
         reveal_type(y) # N: Revealed type is "builtins.int"
     else:
         reveal_type(y) # N: Revealed type is "Any"
+
+[case testNarrowingAnyNegativeIntersection]
+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
+[builtins fixtures/tuple.pyi]