Issues with solving value constrained type var in presence of Any

Bug Report

In 1.11.0, classes that inherit from os.PathLike could be used with os.path methods. As of 3.12, these methods claim to accept "any object implementing the os.PathLike protocol". However, in 1.12.0, mypy emits an error.

To Reproduce

import os


class MyPath(os.PathLike):
    def __init__(self, path: str):
        super().__init__()
        self.path = path

    def __fspath__(self):
        return self.path


print(os.path.abspath(MyPath(".")))

Expected Behavior

Unless I'm missing something, MyPath should be valid to pass, no?

Actual Behavior

pathlike.py:13: error: Value of type variable "AnyStr" of "abspath" cannot be "MyPath | Any"

Your Environment

• Mypy version used: 1.12.0
• Mypy command-line flags: N/A
• Mypy configuration options from mypy.ini (and other config files): N/A
• Python version used: 3.12

os.PathLike、os.path.abspath、MyPath クラスを使用する、提供された Python 再現プログラムから始め、Python 3.12 上で mypy 1.11.0 と 1.12.0 の動作を比較します。MyPath と Any が関与する場合に、型チェッカーが制約付きの型変数 AnyStr をどのように処理するかを追跡します。完了条件は、報告されたエラーなしで再現プログラムが型チェックを通過し、かつ有効な診断が維持されることです。