Skip to content

pyrefly suddenly crashes typeshed CI because of missing EllipsisType #5308

Closed

Description

@srittau

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:

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

Activity

  1. srittau commented on Oct 21, 2026

    @srittau
    Author

    Additional info:

    The first problematic run was the merge of python/typeshed#15993.

  2. srittau commented on Oct 21, 2026

    @srittau
    Author

    I've reverted the latter PR for now, which works around the problem.

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

Metadata

Metadata

Labels

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions