a pretty bad bug report about a segfault, but at least I can show you the repo

I am at a bit of a loss as to what happened here, because I just noticed my editor's inline type-checking suddenly went away, and then saw a mypy process consuming an entire core for multiple minutes at a time, then crashing. I figured I'd get the report in quickly rather than try to minimize first, but I understand this is a pretty poor-quality bug report. The fact that the repo is open source might make it easy enough to get into a debugger for someone more knowledgeable.

Crash Report

zsh: segmentation fault mypy src

Traceback

it's a segfault so --show-traceback gives me nothing.

To Reproduce

mypy src on
https://github.com/glyph/Pomodouroboros/pull/69/commits/8a8102c16ad7171508c2825c78af7f2f337dc9a7

Your Environment

• Mypy version used: mypy 1.13.0 (compiled: yes)
• Mypy command-line flags: none
• Mypy configuration options from mypy.ini (and other config files): see repo
• Python version used: 3.12.7
• Operating system and version:

ProductName:		macOS
ProductVersion:		15.1.1
BuildVersion:		24B91

Sieh dir den verlinkten Pomodouroboros-Commit an und führe zunächst mypy src mit den angegebenen Python- und mypy-Versionen aus, um den Segmentation Fault zu bestätigen. Verwende einen Debugger, um den fehlschlagenden Pfad zu identifizieren und den Absturz auf eine reproduzierbare Ursache zurückzuverfolgen. Die Aufgabe ist abgeschlossen, wenn der Befehl in diesem Repository nicht mehr mit einem Segmentation Fault abbricht und die Regression durch einen geeigneten Test abgedeckt ist.