Repository navigation
pyrefly suddenly crashes typeshed CI because of missing EllipsisType #5308
Copy link
Copy link
Closed
Labels
Description
Describe the Bug
pyrefly suddenly started crashing in typeshed's CI:
Checking 5135 stubs with pyrefly (3.13, win32)...
ERROR Thread panicked, shutting down: panicked at crates/pyrefly_types/src/stdlib.rs:318:17:
internal error: entered unreachable code: Stdlib missing class `EllipsisType` (while bootstrapping)
Backtrace:
0: 0x55a6de88b679 - <std[6c98fd8553dbae28]::backtrace::Backtrace>::create
1: 0x55a6de88b5c5 - <std[6c98fd8553dbae28]::backtrace::Backtrace>::force_capture
2: 0x55a6de6bb041 - <std[6c98fd8553dbae28]::sync::once::Once>::call_once::<pyrefly_util[6e1aad25c532c47d]::panic::print_panic::{closure#0}>::{closure#0}
3: 0x55a6de88a4e9 - <std[6c98fd8553dbae28]::sys::sync::once::futex::Once>::call
4: 0x55a6de6baf51 - pyrefly_util[6e1aad25c532c47d]::panic::print_panic
5: 0x55a6de6bc8f9 - pyrefly_util[6e1aad25c532c47d]::panic::exit_on_panic::{closure#0}
6: 0x55a6de85d09f - std[6c98fd8553dbae28]::panicking::panic_with_hook
7: 0x55a6de885c31 - std[6c98fd8553dbae28]::panicking::panic_handler::{closure#0}
8: 0x55a6de885be9 - std[6c98fd8553dbae28]::sys::backtrace::__rust_end_short_backtrace::<std[6c98fd8553dbae28]::panicking::panic_handler::{closure#0}, !>
9: 0x55a6de88611c - __rustc[100742bb89c490cb]::rust_begin_unwind
10: 0x55a6dd844f7b - core[c0acaeba6ab4c2e0]::panicking::panic_fmt
11: 0x55a6ddc80284 - <pyrefly[7952a5bf9a379201]::alt::answers_solver::AnswersSolver<pyrefly[7952a5bf9a379201]::state::state::TransactionHandle>>::expr_infer_impl_helper
12: 0x55a6ddc74162 - <pyrefly[7952a5bf9a379201]::alt::answers_solver::AnswersSolver<pyrefly[7952a5bf9a379201]::state::state::TransactionHandle>>::expr_infer_impl
13: 0x55a6ddc93bc9 - <pyrefly[7952a5bf9a379201]::alt::answers_solver::AnswersSolver<pyrefly[7952a5bf9a379201]::state::state::TransactionHandle>>::expr_untype
14: 0x55a6dddd6173 - <pyrefly[7952a5bf9a379201]::alt::answers_solver::AnswersSolver<pyrefly[7952a5bf9a379201]::state::state::TransactionHandle>>::paramspec_from_call
15: 0x55a6dddb2962 - <pyrefly[7952a5bf9a379201]::alt::answers_solver::AnswersSolver<pyrefly[7952a5bf9a379201]::state::state::TransactionHandle>>::binding_to_type
16: 0x55a6dddb138c - <pyrefly[7952a5bf9a379201]::alt::answers_solver::AnswersSolver<pyrefly[7952a5bf9a379201]::state::state::TransactionHandle>>::binding_to_type_info
17: 0x55a6dddb0f31 - <pyrefly[7952a5bf9a379201]::alt::answers_solver::AnswersSolver<pyrefly[7952a5bf9a379201]::state::state::TransactionHandle>>::solve_binding_result
18: 0x55a6ddaff1c1 - <pyrefly[7952a5bf9a379201]::alt::answers_solver::AnswersSolver<pyrefly[7952a5bf9a379201]::state::state::TransactionHandle>>::force_idx::<pyrefly[7952a5bf9a379201]::binding::binding::Key>
19: 0x55a6ddd3fd3c - <pyrefly[7952a5bf9a379201]::alt::answers_solver::AnswersSolver<pyrefly[7952a5bf9a379201]::state::state::TransactionHandle>>::solve_legacy_tparam
20: 0x55a6ddb1c96a - <pyrefly[7952a5bf9a379201]::alt::answers_solver::AnswersSolver<pyrefly[7952a5bf9a379201]::state::state::TransactionHandle>>::force_idx::<pyrefly[7952a5bf9a379201]::binding::binding::KeyLegacyTypeParam>
21: 0x55a6dde61148 - <pyrefly[7952a5bf9a379201]::alt::answers_solver::AnswersSolver<pyrefly[7952a5bf9a379201]::state::state::TransactionHandle>>::calculate_class_tparams
22: 0x55a6ddb044b6 - <pyrefly[7952a5bf9a379201]::alt::answers_solver::AnswersSolver<pyrefly[7952a5bf9a379201]::state::state::TransactionHandle>>::force_idx::<pyrefly[7952a5bf9a379201]::binding::binding::KeyTParams>
23: 0x55a6ddb6dbbb - <pyrefly[7952a5bf9a379201]::state::state::Transaction>::lookup_answer::<pyrefly[7952a5bf9a379201]::binding::binding::KeyTParams>
24: 0x55a6ddfc1216 - <pyrefly[7952a5bf9a379201]::state::state::Transaction>::compute_stdlib::{closure#5}
25: 0x55a6de59aac5 - <pyrefly_types[a3274afa634ec408]::stdlib::Stdlib>::new_with_bootstrapping::{closure#1}
26: 0x55a6de59995c - <pyrefly_types[a3274afa634ec408]::stdlib::Stdlib>::new_with_bootstrapping
27: 0x55a6ddfb5be0 - <pyrefly[7952a5bf9a379201]::state::state::Transaction>::run_internal
28: 0x55a6de243892 - <pyrefly[7952a5bf9a379201]::commands::check::CheckArgs>::run_inner
29: 0x55a6de2214f2 - <pyrefly[7952a5bf9a379201]::commands::check::CheckArgs>::run_once
30: 0x55a6dd771a67 - pyrefly[5bcb00d63e3896b1]::run::{closure#0}
31: 0x55a6dd77ae43 - pyrefly[5bcb00d63e3896b1]::main::{closure#0}
32: 0x55a6dd782db2 - pyrefly[5bcb00d63e3896b1]::main
33: 0x55a6dd74b473 - std[6c98fd8553dbae28]::sys::backtrace::__rust_begin_short_backtrace::<fn() -> std[6c98fd8553dbae28]::process::ExitCode, std[6c98fd8553dbae28]::process::ExitCode>
34: 0x55a6dd79a976 - main
35: 0x7fc90d82a1ca - <unknown>
36: 0x7fc90d82a28b - __libc_start_main
37: 0x55a6dd72d1a9 - <unknown>
38: 0x0 - <unknown>
PANIC Sorry, Pyrefly crashed, this is always a bug in Pyrefly itself.
PANIC Please report the bug at https://github.com/facebook/pyrefly/issues/new
Examples:
- https://github.com/python/typeshed/actions/runs/39547843836/job/119049962097?pr=16580
- https://github.com/python/typeshed/actions/runs/39569930939/job/119121269138?pr=16584
The first PR with this problem is python/typeshed#16580 while the previous PR (that ran the tests) python/typeshed#16578 didn't have this problem. The pyrefly version has remained unchanged at 1.3.2 since 2026-10-06. I'm a bit stumped about this.
Sandbox Link
No response
(Only applicable for extension issues) IDE Information
No response
Reactions are currently unavailable
Activity
srittau commentedon Oct 21, 2026
Additional info:
The first problematic run was the merge of python/typeshed#15993.
srittau commentedon Oct 21, 2026
I've reverted the latter PR for now, which works around the problem.
fix pyrefly suddenly crashes typeshed CI because of missing EllipsisT…