Skip to content
Merged
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
alex example
  • Loading branch information
hauntsaninja committed Sep 5, 2023
commit c97353c68453571e36704e6350f0f00c1ab3ad56
18 changes: 15 additions & 3 deletions test_cases/stdlib/check_pathlib.py
Original file line number Diff line number Diff line change
@@ -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
Comment thread
hauntsaninja marked this conversation as resolved.
...

# 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
...