facebook / facebook/pyrefly

report an error when attempting to hash an unhashable object

Open
#3,692 1 comment 1 reaction 0 assignees View on GitHub
needs-discussion
Dominant language
Rust
Stars
7k
Forks
516
PR merge metrics
No merged PRs in 30d

Description

```py
foo = {[1]} # no error
```

[pyright reports an error here](https://basedpyright.com/?typeCheckingMode=all&code=GYexAIF5wbwbQIwF0C%2BQ) (`reportUnhashable`)

this is admittedly a difficult problem to solve however because hashability is completely broken in python's type system, see https://github.com/astral-sh/ty/issues/1162

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.