diff --git a/mypy/checker.py b/mypy/checker.py index 04a286beef5e8..d6a870a1ea225 100644 --- a/mypy/checker.py +++ b/mypy/checker.py @@ -216,7 +216,7 @@ T = TypeVar("T") -DEFAULT_LAST_PASS: Final = 1 # Pass numbers start at 0 +DEFAULT_LAST_PASS: Final = 2 # Pass numbers start at 0 # Maximum length of fixed tuple types inferred when narrowing from variadic tuples. MAX_PRECISE_TUPLE_SIZE: Final = 8 diff --git a/test-data/unit/check-modules.test b/test-data/unit/check-modules.test index 87eb25a48cc23..000dae86131d6 100644 --- a/test-data/unit/check-modules.test +++ b/test-data/unit/check-modules.test @@ -1388,14 +1388,14 @@ import b import b class C: def f1(self) -> None: - self.x2 + reveal_type(self.x2) def f2(self) -> None: self.x2 = b.b [file b.py] import a b = 1 + int() [out] -tmp/a.py:4: error: Cannot determine type of "x2" +tmp/a.py:4: note: Revealed type is "builtins.int" [case testErrorInPassTwo1] import b