Skip to content

(🐞) [1.15 REGRESSION] tuple fallback reports any expression #18770

Open
Open
(🐞) [1.15 REGRESSION] tuple fallback reports any expression#18770
Labels
bugmypy got something wrongtopic-disallow-anyThe disallow-any-* family of flags

Description

@KotlinIsland
KotlinIsland
opened on Mar 8, 2025
# mypy: allow-any-expr=False
a: tuple[int, int]
print(a[:]) # Expression type contains "Any" (has type "tuple[int, int]")  [misc]

playground

Activity

  1. KotlinIsland
    added
    bugmypy got something wrong
    on Mar 8, 2025

  2. sterliakov commented on Mar 8, 2025

    @sterliakov
    sterliakov
    on Mar 8, 2025
    Collaborator

    Exposed by #18585. At some point fallback is constructed as self.named_type("builtins.tuple") (there are several such places) and wrong Any (from_omitted_generics) ends up in slice tuple_fallback.

    Minimal repro:

    a: tuple[int, int]
print(a[:])
  3. sterliakov
    added
    topic-disallow-anyThe disallow-any-* family of flags
    on Mar 8, 2025
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-disallow-anyThe disallow-any-* family of flags

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions