Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Panic at chalk-ir-0.98.0/src/lib.rs:2732:10 #19177

Open
vdrn opened this issue Feb 18, 2025 · 1 comment · May be fixed by #19182
Open

Panic at chalk-ir-0.98.0/src/lib.rs:2732:10 #19177

vdrn opened this issue Feb 18, 2025 · 1 comment · May be fixed by #19182
Assignees
Labels
C-bug Category: bug I-panic

Comments

@vdrn
Copy link

vdrn commented Feb 18, 2025

Trying to edit anything inside src/lib.rs of this repository egui_struct
repeatedly causes this panic:

thread 'Worker' panicked at /rust/deps/chalk-ir-0.98.0/src/lib.rs:2732:10:
index out of bounds: the len is 1 but the index is 1
stack backtrace:
   0: rust_begin_unwind
   1: core::panicking::panic_fmt
   2: core::panicking::panic_bounds_check
   3: <chalk_ir::SubstFolder<hir_ty::interner::Interner, chalk_ir::Substitution<hir_ty::interner::Interner>> as chalk_ir::fold::TypeFolder<hir_ty::interner::Interner>>::fold_free_var_ty
   4: <chalk_ir::Ty<hir_ty::interner::Interner> as chalk_ir::fold::TypeSuperFoldable<hir_ty::interner::Interner>>::super_fold_with
   5: <chalk_ir::WhereClause<hir_ty::interner::Interner> as chalk_ir::fold::TypeFoldable<hir_ty::interner::Interner>>::try_fold_with::<core::convert::Infallible>
   6: <chalk_ir::Binders<chalk_ir::WhereClause<hir_ty::interner::Interner>> as chalk_ir::fold::TypeFoldable<hir_ty::interner::Interner>>::try_fold_with::<core::convert::Infallible>
   7: <core::iter::adapters::GenericShunt<chalk_ir::cast::Casted<core::iter::adapters::map::Map<core::iter::adapters::cloned::Cloned<core::slice::iter::Iter<chalk_ir::Binders<chalk_ir::WhereClause<hir_ty::interner::Interner>>>>, <chalk_ir::QuantifiedWhereClauses<hir_ty::"
 [ERROR][2025-02-18 18:45:16] ...p/_transport.lua:36	"rpc"	"rust-analyzer"	"stderr"	"interner::Interner> as chalk_ir::fold::TypeFoldable<hir_ty::interner::Interner>>::try_fold_with<core::convert::Infallible>::{closure#0}>, core::result::Result<chalk_ir::Binders<chalk_ir::WhereClause<hir_ty::interner::Interner>>, core::convert::Infallible>>, core::result::Result<core::convert::Infallible, core::convert::Infallible>> as core::iter::traits::iterator::Iterator>::next
   8: <chalk_ir::QuantifiedWhereClauses<hir_ty::interner::Interner> as chalk_ir::fold::TypeFoldable<hir_ty::interner::Interner>>::try_fold_with::<core::convert::Infallible>
   9: <chalk_solve::infer::InferenceTable<hir_ty::interner::Interner>>::instantiate_in::<chalk_ir::QuantifiedWhereClauses<hir_ty::interner::Interner>, core::iter::adapters::cloned::Cloned<core::slice::iter::Iter<chalk_ir::VariableKind<hir_ty::interner::Interner>>>>
  10: <chalk_solve::infer::InferenceTable<hir_ty::interner::Interner>>::instantiate_binders_existentially::<chalk_ir::QuantifiedWhereClauses"
 [ERROR][2025-02-18 18:45:16] ...p/_transport.lua:36	"rpc"	"rust-analyzer"	"stderr"	"<hir_ty::interner::Interner>>
  11: <chalk_solve::infer::unify::Unifier<hir_ty::interner::Interner>>::relate_ty_ty
  12: <chalk_solve::infer::unify::Unifier<hir_ty::interner::Interner> as chalk_ir::zip::Zipper<hir_ty::interner::Interner>>::zip_tys
  13: <chalk_solve::infer::unify::Unifier<hir_ty::interner::Interner>>::relate_ty_ty
  14: <chalk_solve::infer::unify::Unifier<hir_ty::interner::Interner> as chalk_ir::zip::Zipper<hir_ty::interner::Interner>>::zip_tys
  15: <chalk_solve::infer::unify::Unifier<hir_ty::interner::Interner> as chalk_ir::zip::Zipper<hir_ty::interner::Interner>>::zip_substs
  16: <chalk_solve::infer::unify::Unifier<hir_ty::interner::Interner>>::relate_ty_ty
  17: <chalk_solve::infer::unify::Unifier<hir_ty::interner::Interner>>::relate_var_ty
  18: <chalk_solve::infer::unify::Unifier<hir_ty::interner::Interner>>::relate_ty_ty
  19: <chalk_solve::infer::unify::Unifier<hir_ty::interner::Interner> as chalk_ir::zip::Zipper<hir_ty::interner::Interner>>::zip_tys
  20: <chalk_solve::infer::unify::Unifier<hir_ty::interner::Interner"
 [ERROR][2025-02-18 18:45:16] ...p/_transport.lua:36	"rpc"	"rust-analyzer"	"stderr"	"> as chalk_ir::zip::Zipper<hir_ty::interner::Interner>>::zip_substs
  21: <chalk_ir::WhereClause<hir_ty::interner::Interner> as chalk_ir::zip::Zip<hir_ty::interner::Interner>>::zip_with::"
 [ERROR][2025-02-18 18:45:16] ...p/_transport.lua:36	"rpc"	"rust-analyzer"	"stderr"	"<chalk_solve::infer::unify::Unifier<hir_ty::interner::Interner>>
  22: <chalk_recursive::recursive::Solver<hir_ty::interner::Interner> as chalk_recursive::solve::SolveIterationHelpers<hir_ty"
 [ERROR][2025-02-18 18:45:16] ...p/_transport.lua:36	"rpc"	"rust-analyzer"	"stderr"	"::interner::Interner>>::solve_from_clauses::<&dyn core::ops::function::Fn<(), Output = bool>>
  23: <chalk_recursive::fixed_point::RecursiveContext<chalk_ir::UCanonical<chalk_ir::InEnvironment<chalk_ir::Goal<hir_ty::interner::Interner>>>, core::result::Result<chalk_solve::solve::Solution<hir_ty::interner::Interner>, chalk_ir::NoSolution>>>::solve_goal::<&dyn chalk_solve::RustIrDatabase<hir_ty::interner::Interner>, &dyn core::ops::function::Fn<(), Output = bool>>
  24: <chalk_recursive::recursive::RecursiveSolver<hir_ty::interner::Interner> as chalk_solve::solve::Solver<hir_ty::interner::Interner>>"
 [ERROR][2025-02-18 18:45:16] ...p/_transport.lua:36	"rpc"	"rust-analyzer"	"stderr"	"::solve_limited
  25: hir_ty::traits::solve::{closure#1}
  26: <hir_ty::db::TraitSolveQuery as ra_salsa::plumbing::QueryFunction>::execute
  27: <ra_salsa::derived::slot::Slot<hir_ty::db::TraitSolveQuery>>::execute
  28: <_ as hir_ty::db::HirDatabase>::trait_solve::__shim
  29: <ide_db::RootDatabase as hir_ty::db::HirDatabase>"
 [ERROR][2025-02-18 18:45:16] ...p/_transport.lua:36	"rpc"	"rust-analyzer"	"stderr"	"::trait_solve
  30: <chalk_ir::Ty<hir_ty::interner::Interner> as hir_ty::chalk_ext::TyExt>::is_copy
  31: <hir_ty::mir::lower::MirLowerCtx>::emit_drop_and_storage_dead_for_scope
  32: <hir_ty::mir::lower::MirLowerCtx>::pop_drop_scope_assert_finished
  33: hir_ty::mir::lower::lower_to_mir
  34: hir_ty::mir::lower::mir_body_query
  35: <ra_salsa::derived::slot::Slot<hir_ty::db::MirBodyQuery>>::execute
"
 [ERROR][2025-02-18 18:45:16] ...p/_transport.lua:36	"rpc"	"rust-analyzer"	"stderr"	"  36: <_ as hir_ty::db::HirDatabase>::mir_body::__shim
  37: <ide_db::RootDatabase as hir_ty::db::HirDatabase>::mir_body
  38: hir_ty::mir::borrowck::borrowck_query
  39: <ra_salsa::derived_lru::slot::Slot<hir_ty::db"
 [ERROR][2025-02-18 18:45:16] ...p/_transport.lua:36	"rpc"	"rust-analyzer"	"stderr"	"::BorrowckQuery, ra_salsa::derived_lru::AlwaysMemoizeValue>>::execute
  40: <_ as hir_ty::db::HirDatabase>::borrowck::__shim
  41: <ide_db::RootDatabase as hir_ty::db::HirDatabase>::borrowck
  42"
 [ERROR][2025-02-18 18:45:16] ...p/_transport.lua:36	"rpc"	"rust-analyzer"	"stderr"	": <hir::DefWithBody>::diagnostics
  43: <hir::ModuleDef>::diagnostics
  44: <hir::Module>::diagnostics
  45: ide_diagnostics::semantic_diagnostics
  46: ide_diagnostics::full_diagnostics
  47: <ide::Analysis>::assists_with_fixes
  48: rust_analyzer::handlers::request::handle_code_action
  49: <<stdx::thread::pool::Pool>::spawn<<rust_analyzer::task_pool::TaskPool<rust_analyzer::main_loop::Task>>::spawn<<rust_analyzer::handlers::dispatch"
 [ERROR][2025-02-18 18:45:16] ...p/_transport.lua:36	"rpc"	"rust-analyzer"	"stderr"	"::RequestDispatcher>::on_with_thread_intent<true, false, rust_analyzer::lsp::ext::CodeActionRequest>::{closure#0}>::{closure#0}>::{closure#0} as core::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}

rust-analyzer version: rust-analyzer 1.87.0-nightly (ce36a96 2025-02-17)

rustc version: rustc 1.87.0-nightly (ce36a966c 2025-02-17)

editor or extension: both neovim and vscode

@vdrn vdrn added the C-bug Category: bug label Feb 18, 2025
@ShoyuVanilla
Copy link
Member

ShoyuVanilla commented Feb 19, 2025

Is this happening on the HEAD of that repository's main branch? I haven't tried reproduction yet but the revision information would be a great help

edit) Nevermind. I reproduced this in the HEAD.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
C-bug Category: bug I-panic
Projects
None yet
2 participants