False positive comparison-overlap for nested function and nested class

Bug Report

Nested functions inside methods incorrectly resolve attributes of their first argument relative to the surrounding class.

To Reproduce

class foo:
    a: str = "foo"
    
class bar:
    class a:
        pass
    
    def test(self) -> None:
        def inner1(f: foo, s: str) -> bool:
            return f.a == s
        
        def inner2(s: str, f: foo) -> bool:
            return f.a == s

https://mypy-play.net/?mypy=latest&python=3.11&flags=strict&gist=4c27f653074cd1c3a48bb16f49ca2168

Expected Behavior

As far as I can tell this should be valid code, even though this rarely happens in practice due to CamelCase vs snake_case naming conventions.

Actual Behavior

inner1 fails to type-check, because the a attribute is incorrectly assumed to be the a class inside bar

main.py:10: error: Non-overlapping equality check (left operand type: "Type[a]", right operand type: "str")  [comparison-overlap]

Interestingly, inner2 is fine.

Your Environment

• Mypy version used: 1.2.0
• Mypy command-line flags: --strict
• Mypy configuration options from mypy.ini (and other config files): none
• Python version used: 3.11

Tái hiện ví dụ từ issue trong mypy với Python 3.11 và --strict, sau đó theo dõi cách các hàm lồng nhau phân giải việc truy cập thuộc tính trong phép so sánh. Bản sửa được hoàn tất khi inner1 không còn báo lỗi comparison-overlap, trong khi inner2 vẫn hợp lệ và hồi quy được bao phủ bởi một bài kiểm thử.