ice: closure: index out of bounds: the len is 4 but the index is 4 #16288
Description
rust-analyzer 1.77.0-nightly (595bc6f 2024-01-05)
rust-analyzer highlight < a.rs
impl ConstPropagator {
fn eval_rvalue_with_identities(&mut self, rvalue: &Rvalue) {
self.use_ecx(|this| match rvalue {
Rvalue::BinaryOp(op, box (left)) => {}
})
}
}thread 'main' panicked at crates/hir-ty/src/infer/closure.rs:682:68:
index out of bounds: the len is 4 but the index is 4
stack backtrace:
0: rust_begin_unwind
at /rustc/595bc6f00369475047538fdae1ff8cea692ac385/library/std/src/panicking.rs:645:5
1: core::panicking::panic_fmt
at /rustc/595bc6f00369475047538fdae1ff8cea692ac385/library/core/src/panicking.rs:72:14
2: core::panicking::panic_bounds_check
at /rustc/595bc6f00369475047538fdae1ff8cea692ac385/library/core/src/panicking.rs:208:5
3: <hir_ty::infer::InferenceContext>::walk_pat_inner::<<hir_ty::infer::InferenceContext>::walk_pat::{closure#0}>
4: <hir_ty::infer::InferenceContext>::walk_pat_inner::<<hir_ty::infer::InferenceContext>::walk_pat::{closure#0}>
5: <hir_ty::infer::InferenceContext>::walk_expr_without_adjust
6: <hir_ty::infer::InferenceContext>::walk_expr
7: <hir_ty::infer::InferenceContext>::analyze_closure
8: hir_ty::infer::infer_query
9: <salsa::derived::slot::Slot<hir_ty::db::InferQueryQuery, salsa::derived::AlwaysMemoizeValue>>::execute
10: <_ as hir_ty::db::HirDatabase>::infer_query::__shim
11: hir_ty::db::infer_wait
12: <hir::Local>::ty
13: ide::syntax_highlighting::highlight::highlight_def
14: ide::syntax_highlighting::highlight
15: <ide::Analysis>::highlight_as_html
16: <rust_analyzer::cli::flags::Highlight>::run
17: rust_analyzer::main
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.