Skip to content

panic: If we have at least one binding, the scope-start should not be definitely visible #365

@jelle-openai

Description

@jelle-openai

Summary

error[panic]: Panicked at crates/ty_python_semantic/src/symbol.rs:824:17 when checking `<snip>.py`: `internal error: entered unreachable code: If we have at least one binding, the scope-start should not be definitely visible`
info: This indicates a bug in ty.
info: If you could open an issue at https://github.com/astral-sh/ty/issues/new?title=%5Bpanic%5D, we'd be very appreciative!
info: Platform: macos aarch64
info: Args: ["ty", "check", "."]
info: run with `RUST_BACKTRACE=1` environment variable to show the full backtrace information
info: query stacktrace:
   0: symbol_by_id(Id(1c51a9b))
             at crates/ty_python_semantic/src/symbol.rs:576
   1: infer_expression_types(Id(1c6a4a5))
             at crates/ty_python_semantic/src/types/infer.rs:222
   2: infer_scope_types(Id(1c257c7))
             at crates/ty_python_semantic/src/types/infer.rs:121
   3: check_types(Id(4a7b))
             at crates/ty_python_semantic/src/types.rs:84

As before, can try to minimize if this isn't enough to tell the source of the crash.

Version

ty 0.0.1-alpha.1 (12f466e 2025-05-13)

Metadata

Metadata

Assignees

Labels

bugSomething isn't workingcontrol flowfatala fatal error (panic or crash)

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions