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

Inizia con il riproduttore Python fornito usando os.PathLike, os.path.abspath e la classe MyPath, quindi confronta il comportamento tra mypy 1.11.0 e 1.12.0 su Python 3.12. Traccia il modo in cui il type checker gestisce la variabile di tipo vincolata AnyStr quando sono coinvolti MyPath e Any; il lavoro è completato quando il riproduttore supera il controllo dei tipi senza l'errore segnalato, preservando al contempo le diagnosi valide.