fix

Author: JelleZijlstra

pycroscope/name_check_visitor.py

@@ -6100,7 +6100,7 @@ def _extract_definite_value(val: Value) -> Optional[bool]:
 
 
 try:
-    from pydantic import BaseModel
+    from pydantic import BaseModel  # static analysis: ignore[import_failed]
 except ImportError:
 
     def _is_safe_pydantic_class(typ: type) -> bool:

pycroscope/test_annotations.py

@@ -75,6 +75,18 @@ def rgx(m: Match[str], p: Pattern[bytes]) -> None:
             assert_is_value(p, GenericValue(_Pattern, [TypedValue(bytes)]))
             assert_is_value(m, GenericValue(_Match, [TypedValue(str)]))
 
+    @skip_before((3, 10))
+    @assert_passes()
+    def test_union_as_an_annotation(self):
+        from types import UnionType
+
+        def capybara(x: UnionType) -> None:
+            pass
+
+        def caller() -> None:
+            capybara(1)  # E: incompatible_argument
+            capybara(int | str)
+
     @assert_passes()
     def test_generic(self):
         from typing import Any, List

pycroscope/typeshed.py

@@ -330,6 +330,8 @@ def get_bases_for_value(self, val: Value) -> Optional[list[Value]]:
                     return [GenericValue(Collection, (TypeVarValue(T_co),))]
                 if typ is collections.abc.Callable:
                     return None
+                if sys.version_info >= (3, 10) and typ is types.UnionType:
+                    return None
                 # In 3.11 it's named EnumType and EnumMeta is an alias, but the
                 # stubs have it the other way around. We can't deal with that for now.
                 if typ is EnumMeta:
@@ -343,7 +345,12 @@ def get_bases_for_value(self, val: Value) -> Optional[list[Value]]:
                     return [GenericValue(Collection, (TypeVarValue(T_co),))]
                 elif fq_name == "contextlib.AbstractContextManager":
                     return [GenericValue(Protocol, (TypeVarValue(T_co),))]
-                elif fq_name in ("typing.Callable", "collections.abc.Callable"):
+                elif fq_name in (
+                    "typing.Callable",
+                    "collections.abc.Callable",
+                    "typing.Union",
+                    "types.UnionType",
+                ):
                     return None
                 elif is_typing_name(fq_name, "TypedDict"):
                     return [