Bug Report

Passing Parameters to a tuple should not be allowed. Splitting off of python/typing#2140.

To Reproduce

from typing import Concatenate

def c(t: tuple[Concatenate[int, ...]]) -> None:
    reveal_type(t)  # N: Revealed type is "tuple[[builtins.int, *Any, **Any]]"

Expected Behavior

Argument gets flagged.

Actual Behavior

Argument isn't flagged.

Your Environment

Reproduced in mypy-play.

• Mypy version used: 1.19.1
• Mypy command-line flags: none
• Mypy configuration options from mypy.ini (and other config files): N/A
• Python version used: 3.12