File tree Expand file tree Collapse file tree 1 file changed +4
-4
lines changed
Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -1441,8 +1441,8 @@ def test_narrow_type_to_constant_bool_false(self):
14411441 def f (n ):
14421442 trace = []
14431443 for i in range (n ):
1444- # false is *usually* False, but we can only prove that it's a bool:
1445- false = i % 100 == 0
1444+ # false is always False, but we can only prove that it's a bool:
1445+ false = i == TIER2_THRESHOLD
14461446 trace .append ("A" )
14471447 if not false : # Kept.
14481448 trace .append ("B" )
@@ -1472,8 +1472,8 @@ def test_narrow_type_to_constant_bool_true(self):
14721472 def f (n ):
14731473 trace = []
14741474 for i in range (n ):
1475- # true is *usually* True, but we can only prove that it's a bool:
1476- true = i % 100 != 0
1475+ # true always True, but we can only prove that it's a bool:
1476+ true = i != TIER2_THRESHOLD
14771477 trace .append ("A" )
14781478 if true : # Kept.
14791479 trace .append ("B" )
You can’t perform that action at this time.
0 commit comments