MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-06 20:01:20 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
feature/open_ide_migration
openide/python/testData/codeInsight/controlflow
T
History
Aleksandr.Govenkoandintellij-monorepo-bot 8c745a5c22 PY-83339 Narrow X | None type to X after assert x 
(cherry picked from commit a49863065bf26f615100b21f423a650cbebbcab3)

IJ-MR-178978

GitOrigin-RevId: 4bf02cab1e94a2ab1aaa70cb0b4578688cea88b9
2025-10-31 06:18:26 +00:00
..
AndBooleanExpression.py
…
AndBooleanExpression.txt
PY-83597 False positive type narrowing in expressions with "and"
2025-09-30 10:30:37 +00:00
Assert.py
…
Assert.txt
…
AssertFalse.py
…
AssertFalse.txt
…
AssertFalseArgument.py
…
AssertFalseArgument.txt
…
Assignment2.py
…
Assignment2.txt
…
Assignment.py
…
Assignment.txt
…
AssignmentExpression.py
…
AssignmentExpression.txt
…
AssignmentExpressionInsideBinaryInWhile.py
…
AssignmentExpressionInsideBinaryInWhile.txt
PY-83597 False positive type narrowing in expressions with "and"
2025-09-30 10:30:37 +00:00
AssignmentExpressionInsideBinaryInWhileElse.py
…
AssignmentExpressionInsideBinaryInWhileElse.txt
PY-83597 False positive type narrowing in expressions with "and"
2025-09-30 10:30:37 +00:00
AugAssignment.py
…
AugAssignment.txt
…
Break.py
…
Break.txt
PY-83597 False positive type narrowing in expressions with "and"
2025-09-30 10:30:37 +00:00
ConditionalExpression.py
…
ConditionalExpression.txt
…
Continue.py
…
Continue.txt
PY-83597 False positive type narrowing in expressions with "and"
2025-09-30 10:30:37 +00:00
ContinueInPositiveIteration.py
…
ContinueInPositiveIteration.txt
…
ControlFlowIsAbruptAfterExit.py
…
ControlFlowIsAbruptAfterExit.txt
…
ControlFlowIsAbruptAfterNever.py
…
ControlFlowIsAbruptAfterNever.txt
…
ControlFlowIsAbruptAfterNoReturn.py
…
ControlFlowIsAbruptAfterNoReturn.txt
…
ControlFlowIsAbruptAfterSelfFail.py
…
ControlFlowIsAbruptAfterSelfFail.txt
…
ControlFlowIsAbruptAfterSysExit.py
…
ControlFlowIsAbruptAfterSysExit.txt
…
Decorator.py
…
Decorator.txt
…
DefaultParameterValue.py
…
DefaultParameterValue.txt
…
Delete.py
…
Delete.txt
…
DeleteSubscriptionAndSlice.py
…
DeleteSubscriptionAndSlice.txt
…
DoubleTry.py
…
DoubleTry.txt
…
File.py
…
File.txt
…
For.py
…
For.txt
…
ForIf.py
…
ForIf.txt
…
ForReturn.py
…
ForReturn.txt
…
ForTryContinue.py
…
ForTryContinue.txt
…
Function.py
…
Function.txt
PY-83597 False positive type narrowing in expressions with "and"
2025-09-30 10:30:37 +00:00
FunctionAnnotationsAndParameterDefaultsAreExcludedFromItsGraph.py
…
FunctionAnnotationsAndParameterDefaultsAreExcludedFromItsGraph.txt
…
FunctionAnnotationsAndParameterDefaultsAreIncludedInEnclosingScopeGraph.py
…
FunctionAnnotationsAndParameterDefaultsAreIncludedInEnclosingScopeGraph.txt
…
If.py
…
If.txt
…
IfElifFalse.py
…
IfElifFalse.txt
PY-81676 Don't report lines with assert_never as unreachable
2025-07-23 14:23:42 +00:00
IfElifTrue.py
…
IfElifTrue.txt
PY-81676 Don't report lines with assert_never as unreachable
2025-07-23 14:23:42 +00:00
IfElseReturn.py
…
IfElseReturn.txt
…
IfFalse.py
…
IfFalse.txt
PY-81676 Don't report lines with assert_never as unreachable
2025-07-23 14:23:42 +00:00
IfFor.py
…
IfFor.txt
PY-81676 Don't report lines with assert_never as unreachable
2025-07-23 14:23:42 +00:00
IfTrue.py
…
IfTrue.txt
PY-81676 Don't report lines with assert_never as unreachable
2025-07-23 14:23:42 +00:00
ImplicitNegativeTypeAssertionAfterIf.py
…
ImplicitNegativeTypeAssertionAfterIf.txt
…
ImplicitNegativeTypeAssertionAfterTwoNestedIf.py
…
ImplicitNegativeTypeAssertionAfterTwoNestedIf.txt
…
Import.py
…
Import.txt
…
Isinstance.py
…
Isinstance.txt
…
Lambda.py
…
Lambda.txt
…
LambdaDefaultParameter.py
…
LambdaDefaultParameter.txt
…
ListComp.py
…
ListComp.txt
…
ManyIfs.py
…
ManyIfs.txt
…
MatchStatementClauseWithBreak.py
…
MatchStatementClauseWithBreak.txt
PY-83597 False positive type narrowing in expressions with "and"
2025-09-30 10:30:37 +00:00
MatchStatementClauseWithContinue.py
…
MatchStatementClauseWithContinue.txt
PY-83597 False positive type narrowing in expressions with "and"
2025-09-30 10:30:37 +00:00
MatchStatementClauseWithReturn.py
…
MatchStatementClauseWithReturn.txt
PY-81676 Don't report lines with assert_never as unreachable
2025-07-23 14:23:42 +00:00
MatchStatementNestedMatchStatement.py
…
MatchStatementNestedMatchStatement.txt
PY-81676 Don't report lines with assert_never as unreachable
2025-07-23 14:23:42 +00:00
MatchStatementNestedMatchStatementLastInClause.py
…
MatchStatementNestedMatchStatementLastInClause.txt
PY-81676 Don't report lines with assert_never as unreachable
2025-07-23 14:23:42 +00:00
MatchStatementSingleClauseAliasedRefutableOrPattern.py
…
MatchStatementSingleClauseAliasedRefutableOrPattern.txt
PY-81676 Don't report lines with assert_never as unreachable
2025-07-23 14:23:42 +00:00
MatchStatementSingleClauseBindingSequencePattern.py
…
MatchStatementSingleClauseBindingSequencePattern.txt
PY-81676 Don't report lines with assert_never as unreachable
2025-07-23 14:23:42 +00:00
MatchStatementSingleClauseCapturePattern.py
…
MatchStatementSingleClauseCapturePattern.txt
PY-81676 Don't report lines with assert_never as unreachable
2025-07-23 14:23:42 +00:00
MatchStatementSingleClauseClassPattern.py
…
MatchStatementSingleClauseClassPattern.txt
PY-81676 Don't report lines with assert_never as unreachable
2025-07-23 14:23:42 +00:00
MatchStatementSingleClauseConjunctionGuard.py
…
MatchStatementSingleClauseConjunctionGuard.txt
PY-81676 Don't report lines with assert_never as unreachable
2025-07-23 14:23:42 +00:00
MatchStatementSingleClauseDisjunctionConjunctionGuard.py
…
MatchStatementSingleClauseDisjunctionConjunctionGuard.txt
PY-81676 Don't report lines with assert_never as unreachable
2025-07-23 14:23:42 +00:00
MatchStatementSingleClauseDisjunctionGuard.py
…
MatchStatementSingleClauseDisjunctionGuard.txt
PY-81676 Don't report lines with assert_never as unreachable
2025-07-23 14:23:42 +00:00
MatchStatementSingleClauseDoubleStarPatternIsIrrefutable.py
…
MatchStatementSingleClauseDoubleStarPatternIsIrrefutable.txt
PY-81676 Don't report lines with assert_never as unreachable
2025-07-23 14:23:42 +00:00
MatchStatementSingleClauseGuardWithNonTopLevelDisjunction.py
…
MatchStatementSingleClauseGuardWithNonTopLevelDisjunction.txt
PY-83597 False positive type narrowing in expressions with "and"
2025-09-30 10:30:37 +00:00
MatchStatementSingleClauseIrrefutableOrPatternCaptureVariantFirst.py
…
MatchStatementSingleClauseIrrefutableOrPatternCaptureVariantFirst.txt
PY-81676 Don't report lines with assert_never as unreachable
2025-07-23 14:23:42 +00:00
MatchStatementSingleClauseIrrefutableOrPatternCaptureVariantLast.py
…
MatchStatementSingleClauseIrrefutableOrPatternCaptureVariantLast.txt
PY-81676 Don't report lines with assert_never as unreachable
2025-07-23 14:23:42 +00:00
MatchStatementSingleClauseLiteralPattern.py
…
MatchStatementSingleClauseLiteralPattern.txt
PY-81676 Don't report lines with assert_never as unreachable
2025-07-23 14:23:42 +00:00
MatchStatementSingleClauseMappingPattern.py
…
MatchStatementSingleClauseMappingPattern.txt
PY-81676 Don't report lines with assert_never as unreachable
2025-07-23 14:23:42 +00:00
MatchStatementSingleClauseNamedSingleStarPatternIsIrrefutable.py
…
MatchStatementSingleClauseNamedSingleStarPatternIsIrrefutable.txt
PY-81676 Don't report lines with assert_never as unreachable
2025-07-23 14:23:42 +00:00
MatchStatementSingleClauseNestedOrPatterns.py
…
MatchStatementSingleClauseNestedOrPatterns.txt
PY-81676 Don't report lines with assert_never as unreachable
2025-07-23 14:23:42 +00:00
MatchStatementSingleClauseParenthesizedCapturePattern.py
…
MatchStatementSingleClauseParenthesizedCapturePattern.txt
PY-81676 Don't report lines with assert_never as unreachable
2025-07-23 14:23:42 +00:00
MatchStatementSingleClauseRefutableOrPattern.py
…
MatchStatementSingleClauseRefutableOrPattern.txt
PY-81676 Don't report lines with assert_never as unreachable
2025-07-23 14:23:42 +00:00
MatchStatementSingleClauseRefutableOrPatternWithNonBindingVariants.py
…
MatchStatementSingleClauseRefutableOrPatternWithNonBindingVariants.txt
PY-81676 Don't report lines with assert_never as unreachable
2025-07-23 14:23:42 +00:00
MatchStatementSingleClauseRefutableOrPatternWithWildcard.py
…
MatchStatementSingleClauseRefutableOrPatternWithWildcard.txt
PY-81676 Don't report lines with assert_never as unreachable
2025-07-23 14:23:42 +00:00
MatchStatementSingleClauseRefutablePatternAndConjunctionGuard.py
…
MatchStatementSingleClauseRefutablePatternAndConjunctionGuard.txt
PY-81676 Don't report lines with assert_never as unreachable
2025-07-23 14:23:42 +00:00
MatchStatementSingleClauseSequencePattern.py
…
MatchStatementSingleClauseSequencePattern.txt
PY-81676 Don't report lines with assert_never as unreachable
2025-07-23 14:23:42 +00:00
MatchStatementSingleClauseSequencePatternWithSingleOrPattern.py
…
MatchStatementSingleClauseSequencePatternWithSingleOrPattern.txt
PY-81676 Don't report lines with assert_never as unreachable
2025-07-23 14:23:42 +00:00
MatchStatementSingleClauseTrivialGuard.py
…
MatchStatementSingleClauseTrivialGuard.txt
PY-81676 Don't report lines with assert_never as unreachable
2025-07-23 14:23:42 +00:00
MatchStatementSingleClauseWildcardPattern.py
…
MatchStatementSingleClauseWildcardPattern.txt
PY-81676 Don't report lines with assert_never as unreachable
2025-07-23 14:23:42 +00:00
MatchStatementSingleClauseWildcardSingleStarPatternIsIrrefutable.py
…
MatchStatementSingleClauseWildcardSingleStarPatternIsIrrefutable.txt
PY-81676 Don't report lines with assert_never as unreachable
2025-07-23 14:23:42 +00:00
MatchStatementTwoClausesCapturePatternFirst.py
…
MatchStatementTwoClausesCapturePatternFirst.txt
PY-81676 Don't report lines with assert_never as unreachable
2025-07-23 14:23:42 +00:00
MatchStatementTwoClausesCapturePatternLast.py
…
MatchStatementTwoClausesCapturePatternLast.txt
PY-81676 Don't report lines with assert_never as unreachable
2025-07-23 14:23:42 +00:00
NewStyleGenericFunctionAnnotationsAreNotIncludedInEnclosingScopeGraph.py
…
NewStyleGenericFunctionAnnotationsAreNotIncludedInEnclosingScopeGraph.txt
…
NewStyleGenericFunctionAnnotationsAreNotIncludedInItsGraph.py
PY-82699 Type parameter is not shadowed by a local variable
2025-07-22 19:28:12 +00:00
NewStyleGenericFunctionAnnotationsAreNotIncludedInItsGraph.txt
PY-82699 Type parameter is not shadowed by a local variable
2025-07-22 19:28:12 +00:00
OrBooleanExpression.py
…
OrBooleanExpression.txt
PY-83597 False positive type narrowing in expressions with "and"
2025-09-30 10:30:37 +00:00
Pass.py
…
Pass.txt
…
PositiveIteration.py
…
PositiveIteration.txt
…
QualifiedSelfReference.py
…
QualifiedSelfReference.txt
…
Raise.py
…
Raise.txt
…
Return.py
…
Return.txt
PY-83597 False positive type narrowing in expressions with "and"
2025-09-30 10:30:37 +00:00
ReturnComprehensionFromExcept.py
…
ReturnComprehensionFromExcept.txt
…
ReturnFor.py
…
ReturnFor.txt
…
Self.py
…
Self.txt
…
SetComprehension.py
…
SetComprehension.txt
…
SliceAssignment.py
…
SliceAssignment.txt
…
Superclass.py
…
Superclass.txt
…
Try.py
…
Try.txt
…
TryBreak.py
…
TryBreak.txt
PY-81608 False positive "This code is unreachable" after try / finally if try has a while loop
2025-07-17 17:19:57 +00:00
TryExceptElseFinally.py
…
TryExceptElseFinally.txt
…
TryExceptNoFinally.py
…
TryExceptNoFinally.txt
…
TryFinally.py
…
TryFinally.txt
…
TryRaiseFinally.py
…
TryRaiseFinally.txt
…
TryTry.py
…
TryTry.txt
…
TypeAliasStatement.py
…
TypeAliasStatement.txt
…
TypeAliasStatementWithTypeParameterList.py
…
TypeAliasStatementWithTypeParameterList.txt
PY-82699 Type parameter is not shadowed by a local variable
2025-07-22 19:28:12 +00:00
TypeAnnotations.py
…
TypeAnnotations.txt
…
TypeGuard.py
…
TypeGuard.txt
…
TypeGuardConjunct.py
…
TypeGuardConjunct.txt
…
TypeGuardWhile.py
…
TypeGuardWhile.txt
…
TypeParameterListInClassDeclaration.py
…
TypeParameterListInClassDeclaration.txt
PY-82699 Type parameter is not shadowed by a local variable
2025-07-22 19:28:12 +00:00
TypeParameterListInFunctionDeclaration.py
…
TypeParameterListInFunctionDeclaration.txt
PY-82699 Type parameter is not shadowed by a local variable
2025-07-22 19:28:12 +00:00
TypesInAndBooleanExpression.py
…
TypesInAndBooleanExpression.txt
PY-83597 False positive type narrowing in expressions with "and"
2025-09-30 10:30:37 +00:00
TypesInOrBooleanExpression.py
…
TypesInOrBooleanExpression.txt
PY-83597 False positive type narrowing in expressions with "and"
2025-09-30 10:30:37 +00:00
VariableAnnotations.py
…
VariableAnnotations.txt
…
While.py
…
While.txt
PY-83597 False positive type narrowing in expressions with "and"
2025-09-30 10:30:37 +00:00
WhileInsideIfTrue.py
…
WhileInsideIfTrue.txt
PY-83597 False positive type narrowing in expressions with "and"
2025-09-30 10:30:37 +00:00
WhileTrueBreakInsideExcept.py
…
WhileTrueBreakInsideExcept.txt
PY-83597 False positive type narrowing in expressions with "and"
2025-09-30 10:30:37 +00:00
WhileTrueElse.py
…
WhileTrueElse.txt
PY-83597 False positive type narrowing in expressions with "and"
2025-09-30 10:30:37 +00:00
WithAssert.py
…
WithAssert.txt
PY-83339 Narrow X | None type to X after assert x
2025-10-31 06:18:26 +00:00
WithAssertFalse.py
…
WithAssertFalse.txt
…
WithRaiseException.py
…
WithRaiseException.txt
PY-82712 False positive unreachable code after try / finally block if try has an if
2025-07-17 17:19:57 +00:00
WithSeveralContextsAssert.py
…
WithSeveralContextsAssert.txt
…