I upvoted as your comment sounds reasonable, but in a sibling comment I see: >By comparison [to pyright], mypy uses a more traditional multi-pass architecture

I upvoted as your comment sounds reasonable, but in a sibling comment I see: >By comparison [to pyright], mypy uses a more traditional multi-pass architecture where semantic analysis is performed multiple times on a module from the top to the bottom until all types converge That makes it sound like mypy does in fact do The Right Thing (albeit the slower, less-suitable-for-LSP thing), rather than a messy pile of heuristic/optional hacks.