alex example

test_cases/stdlib/check_pathlib.py

@@ -1,8 +1,20 @@
 from __future__ import annotations
 
-from pathlib import Path
+from pathlib import Path, PureWindowsPath
 
-# make sure this causes mypy to emit a --strict-equality error,
-# and pyright to report a reportUnnecessaryComparison error
+if Path("asdf") == Path("asdf"):
+    ...
+
+# https://github.com/python/typeshed/issues/10661
+# Provide a true positive error when comparing Path to str
+# mypy should report a comparison-overlap error with --strict-equality,
+# and pyright should report a reportUnnecessaryComparison error
 if Path("asdf") == "asdf":  # type: ignore
     ...
+
+# Errors on comparison here are technically false positives. However, this comparison is a little
+# interesting: it can never hold true on Posix, but could hold true on Windows. We should experiment
+# with more accurate __new__, such that we only get an error for such comparisons on platforms
+# where they can never hold true.
+if PureWindowsPath("asdf") == Path("asdf"):  # type: ignore
+    ...