ICE: index out of bounds: the len is 0 but the index is 18446744073709551615 #83993

DutchGhost · 2021-04-08T11:35:35Z

Code

#![feature(const_generics)]
fn bug<'a>()
where
    for<'b> [(); {
        let x: &'b ();
        0
    }]:
{}

Error output

thread 'rustc' panicked at 'index out of bounds: the len is 0 but the index is 18446744073709551615', /rustc/2fd73fabe469357a12c2c974c140f67e7cdd76d0/compiler/rustc_infer/src/infer/nll_relate/mod.rs:214:22

Backtrace

thread 'rustc' panicked at 'index out of bounds: the len is 0 but the index is 18446744073709551615', /rustc/2fd73fabe469357a12c2c974c140f67e7cdd76d0/compiler/rustc_infer/src/infer/nll_relate/mod.rs:214:22
stack backtrace:
   0: rust_begin_unwind
             at /rustc/2fd73fabe469357a12c2c974c140f67e7cdd76d0/library/std/src/panicking.rs:493:5
   1: core::panicking::panic_fmt
             at /rustc/2fd73fabe469357a12c2c974c140f67e7cdd76d0/library/core/src/panicking.rs:92:14
   2: core::panicking::panic_bounds_check
             at /rustc/2fd73fabe469357a12c2c974c140f67e7cdd76d0/library/core/src/panicking.rs:69:5
   3: <rustc_infer::infer::nll_relate::TypeRelating<D> as rustc_middle::ty::relate::TypeRelation>::regions
   4: rustc_middle::ty::relate::super_relate_tys
   5: rustc_infer::infer::combine::<impl rustc_infer::infer::InferCtxt>::super_combine_tys
   6: rustc_middle::ty::relate::TypeRelation::relate
   7: rustc_mir::borrow_check::type_check::type_check
   8: rustc_mir::borrow_check::nll::compute_regions
   9: rustc_mir::borrow_check::do_mir_borrowck
  10: rustc_infer::infer::InferCtxtBuilder::enter
  11: rustc_mir::borrow_check::mir_borrowck
  12: core::ops::function::FnOnce::call_once
  13: rustc_middle::ty::query::<impl rustc_query_system::query::config::QueryAccessors<rustc_middle::ty::context::TyCtxt> for rustc_middle::ty::query::queries::mir_borrowck>::compute
  14: rustc_query_system::dep_graph::graph::DepGraph<K>::with_task_impl
  15: rustc_data_structures::stack::ensure_sufficient_stack
  16: rustc_query_system::query::plumbing::force_query_with_job
  17: rustc_query_system::query::plumbing::get_query_impl
  18: rustc_query_system::query::plumbing::ensure_query_impl
  19: rustc_mir::transform::mir_drops_elaborated_and_const_checked
  20: rustc_middle::ty::query::<impl rustc_query_system::query::config::QueryAccessors<rustc_middle::ty::context::TyCtxt> for rustc_middle::ty::query::queries::mir_drops_elaborated_and_const_checked>::compute
  21: rustc_query_system::dep_graph::graph::DepGraph<K>::with_task_impl
  22: rustc_data_structures::stack::ensure_sufficient_stack
  23: rustc_query_system::query::plumbing::force_query_with_job
  24: rustc_query_system::query::plumbing::get_query_impl
  25: rustc_mir::transform::inner_mir_for_ctfe
  26: rustc_mir::transform::mir_for_ctfe
  27: rustc_middle::ty::query::<impl rustc_query_system::query::config::QueryAccessors<rustc_middle::ty::context::TyCtxt> for rustc_middle::ty::query::queries::mir_for_ctfe>::compute
  28: rustc_query_system::dep_graph::graph::DepGraph<K>::with_task_impl
  29: rustc_data_structures::stack::ensure_sufficient_stack
  30: rustc_query_system::query::plumbing::force_query_with_job
  31: rustc_query_system::query::plumbing::get_query_impl
  32: <rustc_mir::const_eval::machine::CompileTimeInterpreter as rustc_mir::interpret::machine::Machine>::load_mir
  33: rustc_mir::interpret::eval_context::InterpCx<M>::load_mir
  34: rustc_mir::const_eval::eval_queries::eval_to_allocation_raw_provider
  35: rustc_middle::ty::query::<impl rustc_query_system::query::config::QueryAccessors<rustc_middle::ty::context::TyCtxt> for rustc_middle::ty::query::queries::eval_to_allocation_raw>::compute
  36: rustc_query_system::dep_graph::graph::DepGraph<K>::with_task_impl
  37: rustc_data_structures::stack::ensure_sufficient_stack
  38: rustc_query_system::query::plumbing::force_query_with_job
  39: rustc_query_system::query::plumbing::get_query_impl
  40: rustc_mir::const_eval::eval_queries::eval_to_const_value_raw_provider
  41: rustc_middle::ty::query::<impl rustc_query_system::query::config::QueryAccessors<rustc_middle::ty::context::TyCtxt> for rustc_middle::ty::query::queries::eval_to_const_value_raw>::compute
  42: rustc_query_system::dep_graph::graph::DepGraph<K>::with_task_impl
  43: rustc_data_structures::stack::ensure_sufficient_stack
  44: rustc_query_system::query::plumbing::force_query_with_job
  45: rustc_query_system::query::plumbing::get_query_impl
  46: rustc_middle::mir::interpret::queries::<impl rustc_middle::ty::context::TyCtxt>::const_eval_resolve
  47: rustc_infer::infer::InferCtxt::const_eval_resolve
  48: rustc_trait_selection::traits::const_evaluatable::is_const_evaluatable
  49: rustc_trait_selection::traits::fulfill::FulfillProcessor::progress_changed_obligations
  50: <rustc_trait_selection::traits::fulfill::FulfillmentContext as rustc_infer::traits::engine::TraitEngine>::select_where_possible
  51: <rustc_trait_selection::traits::fulfill::FulfillmentContext as rustc_infer::traits::engine::TraitEngine>::select_all_or_error
  52: rustc_typeck::check::fn_ctxt::_impl::<impl rustc_typeck::check::fn_ctxt::FnCtxt>::select_all_obligations_or_error
  53: rustc_infer::infer::InferCtxtBuilder::enter
  54: rustc_typeck::check::wfcheck::check_item_well_formed
  55: rustc_middle::ty::query::<impl rustc_query_system::query::config::QueryAccessors<rustc_middle::ty::context::TyCtxt> for rustc_middle::ty::query::queries::check_item_well_formed>::compute
  56: rustc_query_system::dep_graph::graph::DepGraph<K>::with_task_impl
  57: rustc_data_structures::stack::ensure_sufficient_stack
  58: rustc_query_system::query::plumbing::force_query_with_job
  59: rustc_query_system::query::plumbing::get_query_impl
  60: rustc_query_system::query::plumbing::ensure_query_impl
  61: <rustc_typeck::check::wfcheck::CheckTypeWellFormedVisitor as rustc_hir::itemlikevisit::ParItemLikeVisitor>::visit_item
  62: rustc_data_structures::sync::par_for_each_in
  63: rustc_hir::hir::Crate::par_visit_all_item_likes
  64: rustc_session::session::Session::track_errors
  65: rustc_typeck::check_crate
  66: rustc_interface::passes::analysis
  67: rustc_middle::ty::query::<impl rustc_query_system::query::config::QueryAccessors<rustc_middle::ty::context::TyCtxt> for rustc_middle::ty::query::queries::analysis>::compute
  68: rustc_query_system::dep_graph::graph::DepGraph<K>::with_task_impl
  69: rustc_data_structures::stack::ensure_sufficient_stack
  70: rustc_query_system::query::plumbing::force_query_with_job
  71: rustc_query_system::query::plumbing::get_query_impl
  72: rustc_interface::passes::QueryContext::enter
  73: rustc_interface::queries::<impl rustc_interface::interface::Compiler>::enter
  74: rustc_span::with_source_map
  75: rustc_interface::interface::create_compiler_and_run
  76: rustc_span::with_session_globals
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.

error: internal compiler error: unexpected panic

note: the compiler unexpectedly panicked. this is a bug.

note: we would appreciate a bug report: https://github.com/rust-lang/rust/issues/new?labels=C-bug%2C+I-ICE%2C+T-compiler&template=ice.md

note: rustc 1.51.0 (2fd73fabe 2021-03-23) running on x86_64-unknown-linux-gnu

note: compiler flags: -C embed-bitcode=no -C codegen-units=1 -C debuginfo=2 --crate-type lib

note: some of the compiler flags provided by cargo are hidden

query stack during panic:
#0 [mir_borrowck] borrow-checking `bug::{constant#0}`
#1 [mir_drops_elaborated_and_const_checked] elaborating drops for `bug::{constant#0}`
#2 [mir_for_ctfe] caching mir of `bug::{constant#0}` for CTFE
#3 [eval_to_allocation_raw] const-evaluating + checking `bug::{constant#0}`
#4 [eval_to_const_value_raw] simplifying constant for the type system `bug::{constant#0}`
#5 [check_item_well_formed] checking that `bug` is well-formed
#6 [analysis] running analysis passes on this crate
end of query stack
error: aborting due to previous error; 1 warning emitted

For more information about this error, try `rustc --explain E0554`.
error: could not compile `playground`

The text was updated successfully, but these errors were encountered:

workingjubilee · 2021-04-09T19:32:23Z

This index is at 2^64-1 aka "-1" (for an i64).

Issue: rust-lang/rust#83993

38 · 2021-04-09T22:09:04Z

I think this one is a better repo, as

#![feature(const_generics)]
fn bad() where for<'b> [();{let _:&'b (); 0}]: Sized { }
fn good() where for<'b> [();{0}]: Sized { }

Seems that if HRTB contains a const expr and the const expr uses HRTB lifetimes. It will complain that escaping bound var in predict for "let _:&'b()"

…ently, r=cjgillot Various changes to name resolution of anon consts Sorry this PR is kind of all over the place ^^' Fixes rust-lang#111012 - Rewrites anon const nameres to all go through `fn resolve_anon_const` explicitly instead of `visit_anon_const` to ensure that we do not accidentally resolve anon consts as if they are allowed to use generics when they aren't. Also means that we dont have bits of code for resolving anon consts that will get out of sync (i.e. legacy const generics and resolving path consts that were parsed as type arguments) - Renames two of the `LifetimeRibKind`, `AnonConst -> ConcreteAnonConst` and `ConstGeneric -> ConstParamTy` - Noticed while doing this that under `generic_const_exprs` all lifetimes currently get resolved to errors without any error being emitted which was causing a bunch of tests to pass without their bugs having been fixed, incidentally fixed that in this PR and marked those tests as `// known-bug:`. I'm fine to break those since `generic_const_exprs` is a very unstable incomplete feature and this PR _does_ make generic_const_exprs "less broken" as a whole, also I can't be assed to figure out what the underlying causes of all of them are. This PR reopens rust-lang#77357 rust-lang#83993 - Changed `generics_of` to stop providing generics and predicates to enum variant discriminant anon consts since those are not allowed to use generic parameters - Updated the error for non 'static lifetime in const arguments and the error for non 'static lifetime in const param tys to use `derive(Diagnostic)` I have a vague idea why const-arg-in-const-arg.rs, in-closure.rs and simple.rs have started failing which is unfortunate since these were deliberately made to work, I think lifetime resolution being broken just means this regressed at some point and nobody noticed because the tests were not testing anything :( I'm fine breaking these too for the same reason as the tests for rust-lang#77357 rust-lang#83993. I couldn't get `// known-bug` to work for these ICEs and just kept getting different stderr between CI and local `--bless` so I just removed them and will create an issue to track re-adding (and fixing) the bugs if this PR lands. r? `@cjgillot` cc `@compiler-errors`

BoxyUwU · 2023-05-10T16:19:00Z

reopening after #111215

Fixes rust-lang#83993

DutchGhost added C-bug Category: This is a bug. I-ICE Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️ T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels Apr 8, 2021

jonas-schievink added A-const-generics Area: const generics (parameters and arguments) F-const_generics `#![feature(const_generics)]` labels Apr 8, 2021

fanninpm added a commit to fanninpm/glacier that referenced this issue Apr 9, 2021

Add 83993

e5d58e0

Issue: rust-lang/rust#83993

rust-lang-glacier-bot added the glacier ICE tracked in rust-lang/glacier. label Apr 10, 2021

github-actions bot mentioned this issue Sep 1, 2021

ices/83993.rs: fixed with errors rust-lang/glacier#953

Closed

github-actions bot mentioned this issue May 1, 2022

ices/83993.rs: fixed with errors rust-lang/glacier#1232

Merged

Alexendoo mentioned this issue May 1, 2022

Enable full revision in const generics ui tests #96603

Merged

bors closed this as completed in 1318d94 May 5, 2022

BoxyUwU mentioned this issue May 4, 2023

Various changes to name resolution of anon consts #111215

Merged

BoxyUwU reopened this May 10, 2023

BoxyUwU mentioned this issue May 10, 2023

ICE: has escaping bound vars, so it cannot be wrapped in a dummy binder #111418

Closed

matthiaskrgr mentioned this issue Sep 6, 2023

ICE Error: Query stack overflow during type-checking of generic constant expression #115555

Open

matthiaskrgr added a commit to matthiaskrgr/rust that referenced this issue Apr 19, 2024

add test for rust-lang#83993

6761a91

Fixes rust-lang#83993

bors closed this as completed in e0586a6 Apr 20, 2024

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

ICE: index out of bounds: the len is 0 but the index is 18446744073709551615 #83993

ICE: index out of bounds: the len is 0 but the index is 18446744073709551615 #83993

DutchGhost commented Apr 8, 2021 •

edited

Loading

workingjubilee commented Apr 9, 2021

38 commented Apr 9, 2021

BoxyUwU commented May 10, 2023

ICE: index out of bounds: the len is 0 but the index is 18446744073709551615 #83993

ICE: index out of bounds: the len is 0 but the index is 18446744073709551615 #83993

Comments

DutchGhost commented Apr 8, 2021 • edited Loading

Code

Meta

Error output

workingjubilee commented Apr 9, 2021

38 commented Apr 9, 2021

BoxyUwU commented May 10, 2023

DutchGhost commented Apr 8, 2021 •

edited

Loading