Crash Report
Mypyc fails to compile a class that has a property with a deleter, crashing with an internal error instead of giving proper mypy error messages. (Mypy check passes.)
Traceback
$ mypyc compile.py
Traceback (most recent call last):
compile.py:2: KeyError: <mypy.nodes.FuncDef object at 0x0000021161F65B40>
To Reproduce
In a file, create a class, and create a property with getter and deleter, and optionally a setter.
class C:
@property
def x(self) -> int:
return 0
@x.deleter
def x(self) -> None:
passRun mypyc filename.py
Your Environment
- Mypy version used: 1.11.2 (compiled)
- Mypyc command-line flags: None
- Mypyc configuration options from
mypy.ini (and other config files): None
- Python version used: 3.12.4
- Operating system and version: Windows 11
Related: #13231 (open)
Crash Report
Mypyc fails to compile a class that has a property with a deleter, crashing with an internal error instead of giving proper mypy error messages. (Mypy check passes.)
Traceback
To Reproduce
In a file, create a class, and create a property with getter and deleter, and optionally a setter.
Run
mypyc filename.pyYour Environment
mypy.ini(and other config files): NoneRelated: #13231 (open)