Mikhail Golubevandintellij-monorepo-bot abe26b050d PY-76922 Add a barebone implementation of PyIntersectionType ...

For the time being, it's possible to declare an intersection type
as "A & B", though it should be either wrapped in a string literal,
used with `from __future__ import annotations` or with Python 3.14+
to avoid runtime errors (and there still be warnings about unresolved
`type.__and__`) and it's not possible to generate a type hint for them.
At least until intersection types are added to the typing specification,
or we adopt something similar to "ty_extensions".

Specific use cases, such as using intersections for type narrowing,
`super()`, overloads, etc. will be addressed separately.

Space-RevId: 16c28a020f0b102f54f56ae25b5c25dc143fd76d

GitOrigin-RevId: d2581559197819fbbc49e4f75b62aa2962924938

2026-01-26 17:03:32 +00:00

..

ancestorsWhenSuperClassImportedWithQName

…

complexGenericType

…

dataclassField

…

inheritorsWhenSuperClassImportedWithAs

…

typingNewType

…

variableAnnotationsInExternalFiles

…

AssignmentExpressionInComprehension.py

…

AttributeTypeDeclaration.py

…

AttrsField.py

…

AttrsKwOnlyOnClass.py

…

AttrsKwOnlyOnField.py

…

AugAssignDunderAll.py

…

BaseClassText.py

…

BuiltinAncestor.py

…

ClassAttributeTypeDeclaration.py

…

DataclassFieldSpecifierStub.py

…

DataclassKwOnlyOnClass.py

…

DataclassKwOnlyOnField.py

…

DataclassSlotsOnClass.py

…

DataclassStubForClassDecoratedWithDataclassTransformFactoryFunction.py

…

DataclassStubForClassExtendingDataclassTransformFactoryBase.py

…

DataclassTransformDecoratorStub.py

…

DecoratorQualifiedNames.py

…

DeprecationMessageInClass.py

…

DunderAll.py

…

DunderAllAsSum.py

…

DynamicDunderAll.py

…

FullyQualifiedNamedTuple.py

…

FullyQualifiedNamedTupleWithAs.py

…

FullyQualifiedTypedDict.py

…

FullyQualifiedTypedDictWithAs.py

…

FullyQualifiedTypingNamedTuple.py

…

FullyQualifiedTypingNamedTupleKwargs.py

…

FullyQualifiedTypingNamedTupleKwargsWithAs.py

…

FullyQualifiedTypingNamedTupleWithAs.py

…

FunctionAnnotation.py

…

FunctionStubDoesNotContainLocalVariableAnnotation.py

…

FunctionTypeComment.py

…

IfNameMain.py

…

ImportedNamedTuple.py

…

ImportedNamedTupleFields.py

…

ImportedNamedTupleName.py

…

ImportedNamedTupleWithAs.py

…

ImportedTypedDict.py

…

ImportedTypedDictWithAs.py

…

ImportedTypingNamedTuple.py

…

ImportedTypingNamedTupleFields.py

…

ImportedTypingNamedTupleKwargs.py

…

ImportedTypingNamedTupleKwargsFields.py

…

ImportedTypingNamedTupleKwargsName.py

…

ImportedTypingNamedTupleKwargsWithAs.py

…

ImportedTypingNamedTupleName.py

…

ImportedTypingNamedTupleWithAs.py

…

ImportFeatures.py

…

ImportInExcept.py

…

ImportInTryExcept.py

…

ImportStatement.py

…

LoadingDeeperTreeRemainsKnownPsiElement.py

…

LoadingTreeRetainsKnownPsiElement.py

…

MetaClass.py

…

NamedTupleFieldsChain.py

…

NamedTupleFieldsKeyword.py

…

NamedTupleFieldsReference.py

…

NamedTupleFieldsSequence.py

…

NamedTupleNameChain.py

…

NamedTupleNameKeyword.py

…

NamedTupleNameReference.py

…

NameInExcept.py

…

ParameterAnnotation.py

…

ParameterTypeComment.py

…

PositionalOnlyParameters.py

…

Slots.py

…

StubStructure.py

…

StubStructureWithVersionChecks.py

…

TargetExpressionArgument.py

…

TargetExpressionDocString.py

…

TargetExpressionTypeComment.py

…

TypeAliasInParameterAnnotation.py

…

TypeAliasNameIndex.py

…

TypeAliasStatement.py

…

TypeAliasStubs.py

PY-76922 Add a barebone implementation of PyIntersectionType

2026-01-26 17:03:32 +00:00

TypedDictNameReference.py

…

TypeParameterListInClassDeclaration.py

…

TypeParameterListInFunctionDeclaration.py

…

TypingNamedTupleFieldsChain.py

…

TypingNamedTupleFieldsKeyword.py

…

TypingNamedTupleFieldsReference.py

…

TypingNamedTupleKwargsNameChain.py

…

TypingNamedTupleKwargsNameReference.py

…

TypingNamedTupleNameChain.py

…

TypingNamedTupleNameKeyword.py

…

TypingNamedTupleNameReference.py

…

UnresolvedTypingSymbol.py

…

VariableAnnotation.py

…

VariableInComprehension.py

…

VariableIndex.py

…

VariableTypeCommentWithTupleType.py

…

WrappedStaticMethod.py

…