Skip to content

tuple[Concatenate[int, ...]] should not be accepted #20452

Closed

Description

@A5rocks

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

Activity

  1. Vaishnavi-KN16 commented on Dec 25, 2025

    @Vaishnavi-KN16

    Concatenate represents callable parameter lists per PEP 612 and should be rejected when used as a normal type argument (e.g., inside tuple[...] or list[...]).

  2. FMorgan-111 commented on Jul 4, 2026

    @FMorgan-111
  3. JelleZijlstra commented on Jul 5, 2026

    @JelleZijlstra
    Member

    Sounds like you need a better AI

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugmypy got something wrongtopic-paramspecPEP 612, ParamSpec, Concatenate

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions