Mikhail Golubevandintellij-monorepo-bot 223a91c3ac PY-85030 When constructing a structural type, make sure attribute qualifiers refer to the original parameter on all paths ...

We already had protection against reassignment to a parameter name,
but it didn't take into account that we also skip conditional branches and loops
to collect only definitely accessed attributes of an object, so if reassignments
took place under conditions, even in every branch, they didn't prevent us
from collecting subsequently accessed attributes.

GitOrigin-RevId: d41b8f4c3dbce6643d915923172d32a8e4e6466c

2026-01-19 20:46:01 +00:00

..

AsyncAwaitWarningOnImportedFun

…

AsyncAwaitWarningOnImportedFunOverloaded

…

AsyncAwaitWarningOnImportedFunReturnAwaitable

…

CustomNewReturnInAnotherModule

…

DateTodayReturnType

…

DisabledNumpyPyiStubs

PY-83529 Make type name reasonable (PyModuleType, PyImportedModuleType)

2025-11-05 17:04:36 +00:00

DocstringTypeFromSubModule

…

DynamicDunderAll

…

EnabledNumpyPyiStubs

…

EvaluateExpressionBuiltins

…

EvaluateExpressionClass

…

EvaluateExpressionInsideFunction

…

FromImportToContainingFile/p1

…

FromPackageImportBuiltin

PY-83529 Make type name reasonable (PyModuleType, PyImportedModuleType)

2025-11-05 17:04:36 +00:00

FunctionInIgnoredIdentifiers

…

ImportedPrivateNameListedInDunderAll

…

ImportFromNestedDirectory1

…

ImportFromNestedDirectory2

…

ImportFromNestedDirectory3

…

ImportHighlightLevel

PY-83529 Make type name reasonable (PyModuleType, PyImportedModuleType)

2025-11-05 17:04:36 +00:00

ImportToContainingFile/p1

…

ImportToContainingFileInPackage/p1

…

IndirectFromImport

…

InstanceAttributeCreatedThroughWithStatementInAnotherFile

…

MetaClassMembersInStubs

…

MockPatchObject

…

ModuleWithGetAttr

…

NamespacePackageAttributes

PY-83529 Make type name reasonable (PyModuleType, PyImportedModuleType)

2025-11-05 17:04:36 +00:00

NamespacePackageNameDoesntMatchFileName

…

NestedNamespacePackageName

…

NotImportedModuleInDunderAll/pkg

…

NotImportedPackageInDunderAll/pkg

…

NullReferenceInIncompleteImport

…

OneUnsedOneMarked

PY-83529 Make type name reasonable (PyModuleType, PyImportedModuleType)

2025-11-05 17:04:36 +00:00

PreferImportedModuleOverNamespacePackage

PY-83529 Make type name reasonable (PyModuleType, PyImportedModuleType)

2025-11-05 17:04:36 +00:00

PrefixExpressionOnClassHavingSkeletons

…

PrivateMemberOwnerResolvedToStub

…

PrivateModuleNames

…

ResolvePathImportToUserFile

…

ReturnedQualifiedReferenceUnionType

…

StubAssignment

…

StubOnlyReExportedModule

…

StubsOfNestedClasses

…

StubWithGetAttr

PY-83529 Make type name reasonable (PyModuleType, PyImportedModuleType)

2025-11-05 17:04:36 +00:00

UnusedUnresolvedNameImported

PY-83529 Make type name reasonable (PyModuleType, PyImportedModuleType)

2025-11-05 17:04:36 +00:00

UnusedUnresolvedNameImportedSeveralTimes

PY-83529 Make type name reasonable (PyModuleType, PyImportedModuleType)

2025-11-05 17:04:36 +00:00

UsedUnresolvedNameImportedSeveralTimes

PY-83529 Make type name reasonable (PyModuleType, PyImportedModuleType)

2025-11-05 17:04:36 +00:00

WildcardIgnorePatternReferenceForNestedBinaryModule

…

addForListComprehension.py

…

attributesOfGenerics.py

…

augAssignmentDefinedInOuterScope.py

…

baseClassAssignment.py

…

baseStringCheck.py

…

builtinDerivedClassAttribute.py

…

builtinListGetItem.py

…

bytesIOMethods.py

…

cachedOperatorInRecursivelyTypeInference.py

…

classInClassBody.py

…

compoundDunderAll.py

…

comprehensionInParameterValue.py

…

comprehensionScope27.py

…

comprehensionScope33.py

…

contextManagerSubclass.py

…

decoratedClass.py

…

decoratedFunction.py

PY-85654 Unify getName() for PyCallableTypeImpl and PyFunctionTypeImpl

2026-01-06 13:11:18 +00:00

docstring.py

…

docstringArgsAndKwargs.py

…

dunderClass.py

…

dunderClassGetItem.py

…

dunderPackage.py

…

dynamicAttrsAnnotation.py

…

fallbackToOldStyleMROIfUnresolvedAncestorsAndC3Fails.py

…

fileMethods.py

…

forwardReferencesInClassBody.py

…

getattrAttribute.py

…

globalResolveAttribute.py

…

hasattrGuard.py

…

ignoredUnresolvedReferenceInUnionType.py

…

importFunction.py

…

importUsedInDocString.py

…

incorrectFileLevelMetaclass.py

…

innerClassAsNamedTupleDefinitionMember.py

…

instanceAttributeCreatedInsideWithStatement.py

…

instanceAttributeCreatedThroughWithStatement.py

…

ivarInDocstring.py

…

listIndexedByUnknownType.py

…

memberFromMetaclassWhenSuperclassMetaclassIsABCMeta.py

…

metaClassMembers.py

…

methodSpecialAttributes.py

PY-85654 Unify getName() for PyCallableTypeImpl and PyFunctionTypeImpl

2026-01-06 13:11:18 +00:00

moduleAttribute.py

…

mro.py

…

namedTupleFunction.py

…

negativeAssertType.py

…

negativeIf.py

…

nestedComprehensions.py

…

noProtectedBuiltinNames.py

…

noUnresolvedReferencesForClassesWithBadMRO.py

…

objectNewAttributes.py

…

operators.py

…

overriddenMRO.py

…

overriddenMROInAncestors.py

…

overridesGetAttr.py

…

ownSlots.py

…

propertyNotListedInSlots.py

…

propertyType.py

…

py2TrueInDocTest.py

…

qualNameAttribute.py

…

returnSelfInSuperClass.py

…

selfReference.py

…

sixWithMetaclass.py

…

slotsAndClassAttr.py

…

slotsAndInheritance.py

…

slotsAndUnlistedAttrAssign.py

…

slotsWithDict.py

…

staticMethodParameter.py

…

stringWithFormatSyntax.py

…

stringWithPercentSyntax.py

…

superclassAsLocal.py

…

superObjectNew.py

…

superType.py

…

typeAssertionInBooleanOperations.py

…

typeAssertions.py

…

undeclaredAttrAssign.py

…

underscoredBuiltin.py

…

unionContainingUnknownType.py

PY-85030 When constructing a structural type, make sure attribute qualifiers refer to the original parameter on all paths

2026-01-19 20:46:01 +00:00

unknownElementInDunderAll.py

…

unresolvedBaseClass.py

…

unresolvedImport.py

…

unresolvedImportedModule.py

…

unresolvedKeywordPattern.py

…

unresolvedSubscriptionOnClass.py

…

unresolvedTopLevelInit.py

…

unresolvedUnreachable.py

…

unusedImportWithClassAttributeReassignment.py

…

unusedUnresolvedModuleImported.py

…

varargsAnnotatedWithFunctionComment.py

…