Crash in mypyc with recursive tuple TypeAlias

Bug Report

Related to Issue #13795, using certain types of tuple in a recursive TypeAlias causes mypyc to crash, even though mypy reports no errors.

To Reproduce

from typing import TypeAlias

RuleItem: TypeAlias = tuple["RuleItem"] | str

def fun(value: RuleItem) -> None:
    pass

Also broken, with or without TypeAlias:

• RuleItem: TypeAlias = Union[tuple["RuleItem"], str]
• RuleItem: TypeAlias = Union[tuple["RuleItem", int], str]
• RuleItem: TypeAlias = Union[tuple["RuleItem", "RuleItem"], str]
• RuleItem: TypeAlias = Union[Tuple["RuleItem"], str]
• RuleItem: TypeAlias = Tuple["RuleItem"]

(After importing Union and Tuple from typing, of course.)

But these work:

• RuleItem: TypeAlias = Union[tuple[int], str]
• RuleItem: TypeAlias = Union[tuple["RuleItem", ...], str]
• RuleItem: TypeAlias = Union[list["RuleItem"], str]
• RuleItem: TypeAlias = Union[set["RuleItem"], str]

(That second option turns out to be what I really wanted anyway.)

Actual Behavior

The mypy command reports no errors.

Running the mypyc command on an affected file emits no output (even with a --show-traceback option) and exits with status code 245.

Running the mypyc.build.mypycify Python function on an affected file emits no output, and crashes Python with status code 139.

Your Environment

• Mypy version used: mypy 1.2.0 (compiled: yes)
• Mypy command-line flags: --strict (optional)
• Mypyc command-line flags: --show-traceback (optional)
• Mypy configuration options from mypy.ini (and other config files): None
• Python version used: 3.10.6
• OS version used: Ubuntu 22.04.1 LTS

まず、提供されている再帰的な RuleItem の例を mypy と mypyc で実行し、次に mypyc.build.mypycify と、それが呼び出すコンパイラパスを調査します。影響を受けるエイリアスがステータス 245 または 139 なしでコンパイルされ、一覧にある動作するエイリアスが引き続き有効であることを確認して、修正を検証します。