Fix IncEx type alias to be compatible with mypy (#10813)

Author: Viicos

pydantic/main.py

@@ -73,10 +73,10 @@
 
 # Keep these type aliases available at runtime:
 TupleGenerator: TypeAlias = Generator[Tuple[str, Any], None, None]
-# Keep this type alias in sync with the stub definition in `pydantic-core`:
-IncEx: TypeAlias = Union[
-    Set[int], Set[str], Mapping[int, Union['IncEx', Literal[True]]], Mapping[str, Union['IncEx', Literal[True]]]
-]
+# NOTE: In reality, `bool` should be replaced by `Literal[True]` but mypy fails to correctly apply bidirectional
+# type inference (e.g. when using `{'a': {'b': True}}`):
+# NOTE: Keep this type alias in sync with the stub definition in `pydantic-core`:
+IncEx: TypeAlias = Union[Set[int], Set[str], Mapping[int, Union['IncEx', bool]], Mapping[str, Union['IncEx', bool]]]
 
 _object_setattr = _model_construction.object_setattr
 

tests/typechecking/misc.py

@@ -12,10 +12,10 @@ class Model(BaseModel):
 
 def func(model: Model) -> None:
     model.model_dump(
-        include={'a': {1: True}},  # type: ignore[arg-type]
+        include={'a': {1: True}},
     )
     model.model_dump(
-        include={'a': {'__all__': True}},  # type: ignore[arg-type]
+        include={'a': {'__all__': True}},
     )
     model.model_dump(
         include={'a': {1: {'a'}}},
@@ -24,7 +24,7 @@ def func(model: Model) -> None:
         include={'a': {1, 2}},
     )
 
-    # Invalid cases:
+    # Invalid cases, should fail but the `IncEx` alias uses `bool` due to mypy limitations:
     model.model_dump(
-        include={'a': {1: False}},  # type: ignore[arg-type]  # pyright: ignore[reportArgumentType]
+        include={'a': {1: False}},
     )