diff --git a/test-data/unit/check-redefine2.test b/test-data/unit/check-redefine2.test index 2af6959dd21a..86ac00f6fc4b 100644 --- a/test-data/unit/check-redefine2.test +++ b/test-data/unit/check-redefine2.test @@ -333,6 +333,19 @@ def f3() -> None: reveal_type(x) # N: Revealed type is "builtins.int | builtins.str" reveal_type(x) # N: Revealed type is "builtins.int | builtins.str" +[case testNewRedefineAssignmentExpressionComprehensions] +# flags: --allow-redefinition +def f() -> None: + x = 0 + xs = [x := "" for _ in [0]] + reveal_type(xs) # N: Revealed type is "builtins.list[builtins.str]" + reveal_type(x) # N: Revealed type is "builtins.int" + + x = 1.0 + reveal_type(x) # N: Revealed type is "builtins.float" + +[builtins fixtures/list.pyi] + [case testNewRedefineOperatorAssignment] # flags: --allow-redefinition class D: pass