no error when unhashable object in dict

[KotlinIsland]

from typing import Hashable


class SomeDClass:
    __hash__: None = None  # type: ignore

d = {
    [1]: 1,  # SUS ALERT! fails at runtime
    SomeDClass(): 2,  # SUS ALERT! fails at runtime
}

Is this an issue with the stubs?

[KotlinIsland]

python/typeshed#3884

[srittau]

I believe, type checkers should special case __hash__: None to be valid, no matter what the stubs say. After all, object.__hash__() has some weird rules around it that can't be represented in the stubs. Writing __hash__: None in stubs is the current way to signal that a class is not hashable and requires a # type: ignore currently.