Repository navigation
(馃悶) Silent crash regression in 1.2 with complex Concatenate return value聽#15073
Description
Crash Report
Absolutely nothing.
Traceback
N/A
To Reproduce
from typing import TypeVar, Callable, Concatenate, ParamSpec
R = TypeVar("R")
P = ParamSpec("P")
def f(
) -> Callable[[Callable[Concatenate[Callable[P, R], P], R]], Callable[P, R]]:
def r(fn: Callable[Concatenate[Callable[P, R], P], R]) -> Callable[P, R]:
pass
return rYour Environment
- Mypy version used: 1.2.0
- Mypy command-line flags: None
- Mypy configuration options from
mypy.ini(and other config files): None - Python version used: 3.11.3
- Operating system and version: Windows version 10
Why?
This is because of an infinite recursion in mypy.expandtype.ExpandTypeVisitor.visit_callable_type.
Activity
[-](馃悶) Silent crash regression in 1.2 with complex `Concatenat` return value[/-][+](馃悶) Silent crash regression in 1.2 with complex `Concatenate` return value[/+]ilevkivskyi commentedon May 2, 2023
This crash is caused by #14677. @A5rocks please take a look at this.
Reconsider constraints involving parameter specifications (#15272)