Strict equality not working between string and uuid

Bug Report

--strict-equality seems to only work in very reduced cases. In particular, it is not working when comparing strings and uuids.

To Reproduce

import uuid
from typing import TYPE_CHECKING, reveal_type

a = uuid.uuid4()
b = str(a)

if TYPE_CHECKING:
  reveal_type(a)
  reveal_type(b)
print(a == b)

c = "c"
d = 500
print(c == d)

https://mypy-play.net/?mypy=latest&python=3.12&flags=show-error-codes%2Cstrict-equality&gist=6c8273316b52930967ad0f8062c57aa3

Expected Behavior

The comparison in line 10 should raise a comparison overlap error. Something like

test_strict_equality.py:10: error: Non-overlapping equality check (left operand type: "str", right operand type: "uuid.UUID")  [comparison-overlap]

Actual Behavior

Mypy does not flag the string/UUID comparison as incompatible

test_strict_equality.py:8: note: Revealed type is "uuid.UUID"
test_strict_equality.py:9: note: Revealed type is "builtins.str"
test_strict_equality.py:14: error: Non-overlapping equality check (left operand type: "str", right operand type: "int")  [comparison-overlap]
Found 1 error in 1 file (checked 1 source file)

Your Environment

• Mypy version used: 1.15.0
• Mypy command-line flags: --strict-equality --show-error-codes
• Mypy configuration options from mypy.ini (and other config files):
• Python version used: 3.12.9

まず、提供されている Python reproducer を mypy 1.15.0、Python 3.12.9、--strict-equality、--show-error-codes で実行します。string/uuid.UUID の等価比較が報告されず、string/int は報告される理由を調査し、その後このケースの coverage を追加または更新します。UUID の比較で comparison-overlap エラーが発生し、既存の string/int の動作を変更しなければ完了です。