mypy icon indicating copy to clipboard operation
mypy copied to clipboard

Mypyc: Crash when using property deleter

Open aatle opened this issue 4 months ago • 0 comments

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)

aatle avatar Oct 13 '24 05:10 aatle