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:
        pass

Run 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)