it seems that ruff returns status ok with

from collections import abc
type x = abc.Callable[[]]

sending this ast

Module(
    ModModule {
        range: 0..56,
        body: [
            ImportFrom(
                StmtImportFrom {
                    range: 0..27,
                    module: Some(
                        Identifier {
                            id: Name("collections"),
                            range: 5..16,
                        },
                    ),
                    names: [
                        Alias {
                            range: 24..27,
                            name: Identifier {
                                id: Name("abc"),
                                range: 24..27,
                            },
                            asname: None,
                        },
                    ],
                    level: 0,
                },
            ),
            TypeAlias(
                StmtTypeAlias {
                    range: 28..53,
                    name: Name(
                        ExprName {
                            range: 33..34,
                            id: Name("x"),
                            ctx: Store,
                        },
                    ),
                    type_params: None,
                    value: Subscript(
                        ExprSubscript {
                            range: 37..53,
                            value: Attribute(
                                ExprAttribute {
                                    range: 37..49,
                                    value: Name(
                                        ExprName {
                                            range: 37..40,
                                            id: Name("abc"),
                                            ctx: Load,
                                        },
                                    ),
                                    attr: Identifier {
                                        id: Name("Callable"),
                                        range: 41..49,
                                    },
                                    ctx: Load,
                                },
                            ),
                            slice: List(
                                ExprList {
                                    range: 50..52,
                                    elts: [],
                                    ctx: Load,
                                },
                            ),
                            ctx: Load,
                        },
                    ),
                },
            ),
        ],
    },
)

instead of an error of invalid syntax, then the compiler give us a Rust error that should never happen

this is the error visualized in Cpython


type x = abc.Callable[[]]
  File "<stdin>", line 1
    type x = abc.Callable[[]]
         ^
SyntaxError: invalid syntax

Typing related panic #5715

Description

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions