Skip to content

ice: const parameter '_/#0 ('_/#0/0) out of range when instantiating args=[] #120793

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.

Sign up for GitHub

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

Jump to bottom
Closed
matthiaskrgr opened this issue Feb 8, 2024 · 2 comments · Fixed by #128171
Closed

ice: const parameter '_/#0 ('_/#0/0) out of range when instantiating args=[] #120793

matthiaskrgr opened this issue Feb 8, 2024 · 2 comments · Fixed by #128171
Labels
C-bug Category: This is a bug. F-anonymous_lifetime_in_impl_trait `#![feature(anonymous_lifetime_in_impl_trait)]` F-effects `#![feature(effects)]` I-ICE Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️ requires-nightly This issue requires a nightly compiler in some way. S-bug-has-test Status: This bug is tracked inside the repo by a `known-bug` test. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.

Comments

@matthiaskrgr
Copy link
Member

matthiaskrgr commented Feb 8, 2024 •
edited by fmease
Loading 

#![feature(effects)]

trait Dim {
    fn dim() -> usize;
}

enum Dim3 {}

impl Dim for Dim3 {
    fn dim(mut x: impl Iterator<Item = &'_ ()>) -> usize {
        3
    }
}

fn main() {
    let array: [usize; Dim3::dim()]
    //~^ ERROR E0015
        = [0; Dim3::dim()];
        //~^ ERROR E0015
}
rustc 1.78.0-nightly (af88f7db5 2024-02-08)
binary: rustc
commit-hash: af88f7db51f6f2a1472f9279d7c7e7c822afff77
commit-date: 2024-02-08
host: x86_64-unknown-linux-gnu
release: 1.78.0-nightly
LLVM version: 17.0.6
full stderr (including backtrace) 
error[E0658]: anonymous lifetimes in `impl Trait` are unstable
  --> 9EC4A4B5373EE906E7D181DFC690A2B9872BD85A831838181574E1766E898D8D.rs:10:41
   |
10 |     fn dim(mut x: impl Iterator<Item = &'_ ()>) -> usize {
   |                                         ^^ expected named lifetime parameter
   |
   = help: add `#![feature(anonymous_lifetime_in_impl_trait)]` to the crate attributes to enable
   = note: this compiler was built on 2024-02-08; consider upgrading it if it is out of date
help: consider introducing a named lifetime parameter
   |
10 |     fn dim<'a>(mut x: impl Iterator<Item = &'a ()>) -> usize {
   |           ++++                              ~~

error[E0049]: method `dim` has 1 type parameter but its trait declaration has 0 type parameters
  --> 9EC4A4B5373EE906E7D181DFC690A2B9872BD85A831838181574E1766E898D8D.rs:10:19
   |
4  |     fn dim() -> usize;
   |           - expected 0 type parameters
...
10 |     fn dim(mut x: impl Iterator<Item = &'_ ()>) -> usize {
   |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   |                   |
   |                   found 1 type parameter
   |                   `impl Trait` introduces an implicit type parameter

error: internal compiler error: compiler/rustc_middle/src/ty/generic_args.rs:836:13: Region parameter out of range when substituting in region '_ (index=0, args = [])

thread 'rustc' panicked at /rustc/af88f7db51f6f2a1472f9279d7c7e7c822afff77/compiler/rustc_errors/src/lib.rs:922:30:
Box<dyn Any>
stack backtrace:
   0:     0x7f9a8d78bdd6 - std::backtrace_rs::backtrace::libunwind::trace::hf92ca961e56825b0
                               at /rustc/af88f7db51f6f2a1472f9279d7c7e7c822afff77/library/std/src/../../backtrace/src/backtrace/libunwind.rs:104:5
   1:     0x7f9a8d78bdd6 - std::backtrace_rs::backtrace::trace_unsynchronized::h23f341cc1a6c507f
                               at /rustc/af88f7db51f6f2a1472f9279d7c7e7c822afff77/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
   2:     0x7f9a8d78bdd6 - std::sys_common::backtrace::_print_fmt::ha5a5ba44893edc7f
                               at /rustc/af88f7db51f6f2a1472f9279d7c7e7c822afff77/library/std/src/sys_common/backtrace.rs:68:5
   3:     0x7f9a8d78bdd6 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h667e6ba5a1d3724e
                               at /rustc/af88f7db51f6f2a1472f9279d7c7e7c822afff77/library/std/src/sys_common/backtrace.rs:44:22
   4:     0x7f9a8d7de830 - core::fmt::rt::Argument::fmt::h06c91f49bef095fb
                               at /rustc/af88f7db51f6f2a1472f9279d7c7e7c822afff77/library/core/src/fmt/rt.rs:142:9
   5:     0x7f9a8d7de830 - core::fmt::write::h8e4b31b0aa81d13f
                               at /rustc/af88f7db51f6f2a1472f9279d7c7e7c822afff77/library/core/src/fmt/mod.rs:1120:17
   6:     0x7f9a8d77f64f - std::io::Write::write_fmt::h4c479f5c53dfe78c
                               at /rustc/af88f7db51f6f2a1472f9279d7c7e7c822afff77/library/std/src/io/mod.rs:1854:15
   7:     0x7f9a8d78bbb4 - std::sys_common::backtrace::_print::he414f5864df55ed1
                               at /rustc/af88f7db51f6f2a1472f9279d7c7e7c822afff77/library/std/src/sys_common/backtrace.rs:47:5
   8:     0x7f9a8d78bbb4 - std::sys_common::backtrace::print::h939e58bdcc61d57d
                               at /rustc/af88f7db51f6f2a1472f9279d7c7e7c822afff77/library/std/src/sys_common/backtrace.rs:34:9
   9:     0x7f9a8d78e947 - std::panicking::default_hook::{{closure}}::h244e48e05cd664b2
  10:     0x7f9a8d78e6a9 - std::panicking::default_hook::hf842080c39497dac
                               at /rustc/af88f7db51f6f2a1472f9279d7c7e7c822afff77/library/std/src/panicking.rs:292:9
  11:     0x7f9a905454ac - std[f801e042bca9681]::panicking::update_hook::<alloc[1377227f5558ef79]::boxed::Box<rustc_driver_impl[65af58b05c4f91ef]::install_ice_hook::{closure#0}>>::{closure#0}
  12:     0x7f9a8d78f096 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hee9c09a26ce84f59
                               at /rustc/af88f7db51f6f2a1472f9279d7c7e7c822afff77/library/alloc/src/boxed.rs:2029:9
  13:     0x7f9a8d78f096 - std::panicking::rust_panic_with_hook::h83c20f9191a2a712
                               at /rustc/af88f7db51f6f2a1472f9279d7c7e7c822afff77/library/std/src/panicking.rs:785:13
  14:     0x7f9a90576f04 - std[f801e042bca9681]::panicking::begin_panic::<rustc_errors[89ec94d63507ad05]::ExplicitBug>::{closure#0}
  15:     0x7f9a905735f6 - std[f801e042bca9681]::sys_common::backtrace::__rust_end_short_backtrace::<std[f801e042bca9681]::panicking::begin_panic<rustc_errors[89ec94d63507ad05]::ExplicitBug>::{closure#0}, !>
  16:     0x7f9a9056ea66 - std[f801e042bca9681]::panicking::begin_panic::<rustc_errors[89ec94d63507ad05]::ExplicitBug>
  17:     0x7f9a90582b61 - <rustc_errors[89ec94d63507ad05]::diagnostic_builder::BugAbort as rustc_errors[89ec94d63507ad05]::diagnostic_builder::EmissionGuarantee>::emit_producing_guarantee
  18:     0x7f9a909369be - <rustc_errors[89ec94d63507ad05]::DiagCtxt>::bug::<alloc[1377227f5558ef79]::string::String>
  19:     0x7f9a909d23db - rustc_middle[2cc1c6e52ad3d43f]::util::bug::opt_span_bug_fmt::<rustc_span[467c297c964200f6]::span_encoding::Span>::{closure#0}
  20:     0x7f9a909b990a - rustc_middle[2cc1c6e52ad3d43f]::ty::context::tls::with_opt::<rustc_middle[2cc1c6e52ad3d43f]::util::bug::opt_span_bug_fmt<rustc_span[467c297c964200f6]::span_encoding::Span>::{closure#0}, !>::{closure#0}
  21:     0x7f9a909b9788 - rustc_middle[2cc1c6e52ad3d43f]::ty::context::tls::with_context_opt::<rustc_middle[2cc1c6e52ad3d43f]::ty::context::tls::with_opt<rustc_middle[2cc1c6e52ad3d43f]::util::bug::opt_span_bug_fmt<rustc_span[467c297c964200f6]::span_encoding::Span>::{closure#0}, !>::{closure#0}, !>
  22:     0x7f9a8e967db0 - rustc_middle[2cc1c6e52ad3d43f]::util::bug::bug_fmt
  23:     0x7f9a909c75c1 - <rustc_middle[2cc1c6e52ad3d43f]::ty::generic_args::ArgFolder as rustc_type_ir[7a3f94f8b621150f]::fold::TypeFolder<rustc_middle[2cc1c6e52ad3d43f]::ty::context::TyCtxt>>::fold_region::region_param_out_of_range
  24:     0x7f9a91807ad6 - <rustc_middle[2cc1c6e52ad3d43f]::ty::generic_args::ArgFolder as rustc_type_ir[7a3f94f8b621150f]::fold::TypeFolder<rustc_middle[2cc1c6e52ad3d43f]::ty::context::TyCtxt>>::fold_ty
  25:     0x7f9a91f65207 - rustc_ty_utils[505851b049994eea]::abi::fn_abi_of_instance
  26:     0x7f9a91f65007 - rustc_query_impl[5ca841c3c79670ea]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[5ca841c3c79670ea]::query_impl::fn_abi_of_instance::dynamic_query::{closure#2}::{closure#0}, rustc_middle[2cc1c6e52ad3d43f]::query::erase::Erased<[u8; 16usize]>>
  27:     0x7f9a91f63d3b - rustc_query_system[125a8aa150dcabe3]::query::plumbing::try_execute_query::<rustc_query_impl[5ca841c3c79670ea]::DynamicConfig<rustc_query_system[125a8aa150dcabe3]::query::caches::DefaultCache<rustc_middle[2cc1c6e52ad3d43f]::ty::ParamEnvAnd<(rustc_middle[2cc1c6e52ad3d43f]::ty::instance::Instance, &rustc_middle[2cc1c6e52ad3d43f]::ty::list::List<rustc_middle[2cc1c6e52ad3d43f]::ty::Ty>)>, rustc_middle[2cc1c6e52ad3d43f]::query::erase::Erased<[u8; 16usize]>>, false, false, false>, rustc_query_impl[5ca841c3c79670ea]::plumbing::QueryCtxt, false>
  28:     0x7f9a91f6396d - rustc_query_impl[5ca841c3c79670ea]::query_impl::fn_abi_of_instance::get_query_non_incr::__rust_end_short_backtrace
  29:     0x7f9a926f3daa - rustc_const_eval[8b96f7da1ced5aa1]::const_eval::eval_queries::eval_body_using_ecx::{closure#0}
  30:     0x7f9a926b8470 - rustc_const_eval[8b96f7da1ced5aa1]::const_eval::eval_queries::eval_in_interpreter
  31:     0x7f9a91d8ba68 - rustc_const_eval[8b96f7da1ced5aa1]::const_eval::eval_queries::eval_to_allocation_raw_provider
  32:     0x7f9a91d8b8c4 - rustc_query_impl[5ca841c3c79670ea]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[5ca841c3c79670ea]::query_impl::eval_to_allocation_raw::dynamic_query::{closure#2}::{closure#0}, rustc_middle[2cc1c6e52ad3d43f]::query::erase::Erased<[u8; 24usize]>>
  33:     0x7f9a91fdea34 - rustc_query_system[125a8aa150dcabe3]::query::plumbing::try_execute_query::<rustc_query_impl[5ca841c3c79670ea]::DynamicConfig<rustc_query_system[125a8aa150dcabe3]::query::caches::DefaultCache<rustc_middle[2cc1c6e52ad3d43f]::ty::ParamEnvAnd<rustc_middle[2cc1c6e52ad3d43f]::mir::interpret::GlobalId>, rustc_middle[2cc1c6e52ad3d43f]::query::erase::Erased<[u8; 24usize]>>, false, false, false>, rustc_query_impl[5ca841c3c79670ea]::plumbing::QueryCtxt, false>
  34:     0x7f9a91fde5f0 - rustc_query_impl[5ca841c3c79670ea]::query_impl::eval_to_allocation_raw::get_query_non_incr::__rust_end_short_backtrace
  35:     0x7f9a9254e48b - rustc_const_eval[8b96f7da1ced5aa1]::const_eval::eval_to_valtree
  36:     0x7f9a9254e2a2 - <rustc_const_eval[8b96f7da1ced5aa1]::provide::{closure#0} as core[30be359c16b30868]::ops::function::FnOnce<(rustc_middle[2cc1c6e52ad3d43f]::ty::context::TyCtxt, rustc_middle[2cc1c6e52ad3d43f]::ty::ParamEnvAnd<rustc_middle[2cc1c6e52ad3d43f]::mir::interpret::GlobalId>)>>::call_once
  37:     0x7f9a9254e276 - rustc_query_impl[5ca841c3c79670ea]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[5ca841c3c79670ea]::query_impl::eval_to_valtree::dynamic_query::{closure#2}::{closure#0}, rustc_middle[2cc1c6e52ad3d43f]::query::erase::Erased<[u8; 24usize]>>
  38:     0x7f9a9254e22f - <rustc_query_impl[5ca841c3c79670ea]::query_impl::eval_to_valtree::dynamic_query::{closure#2} as core[30be359c16b30868]::ops::function::FnOnce<(rustc_middle[2cc1c6e52ad3d43f]::ty::context::TyCtxt, rustc_middle[2cc1c6e52ad3d43f]::ty::ParamEnvAnd<rustc_middle[2cc1c6e52ad3d43f]::mir::interpret::GlobalId>)>>::call_once
  39:     0x7f9a91fdeb29 - rustc_query_system[125a8aa150dcabe3]::query::plumbing::try_execute_query::<rustc_query_impl[5ca841c3c79670ea]::DynamicConfig<rustc_query_system[125a8aa150dcabe3]::query::caches::DefaultCache<rustc_middle[2cc1c6e52ad3d43f]::ty::ParamEnvAnd<rustc_middle[2cc1c6e52ad3d43f]::mir::interpret::GlobalId>, rustc_middle[2cc1c6e52ad3d43f]::query::erase::Erased<[u8; 24usize]>>, false, false, false>, rustc_query_impl[5ca841c3c79670ea]::plumbing::QueryCtxt, false>
  40:     0x7f9a91fde3f0 - rustc_query_impl[5ca841c3c79670ea]::query_impl::eval_to_valtree::get_query_non_incr::__rust_end_short_backtrace
  41:     0x7f9a922c1868 - rustc_middle[2cc1c6e52ad3d43f]::query::plumbing::query_get_at::<rustc_query_system[125a8aa150dcabe3]::query::caches::DefaultCache<rustc_middle[2cc1c6e52ad3d43f]::ty::ParamEnvAnd<rustc_middle[2cc1c6e52ad3d43f]::mir::interpret::GlobalId>, rustc_middle[2cc1c6e52ad3d43f]::query::erase::Erased<[u8; 24usize]>>>
  42:     0x7f9a922c24eb - <rustc_middle[2cc1c6e52ad3d43f]::ty::context::TyCtxt>::const_eval_resolve_for_typeck
  43:     0x7f9a922c2225 - <rustc_middle[2cc1c6e52ad3d43f]::ty::consts::Const>::eval
  44:     0x7f9a918e6616 - <rustc_trait_selection[d4e26a25c789c9ca]::traits::project::AssocTypeNormalizer as rustc_type_ir[7a3f94f8b621150f]::fold::TypeFolder<rustc_middle[2cc1c6e52ad3d43f]::ty::context::TyCtxt>>::fold_const
  45:     0x7f9a91aa115a - <rustc_middle[2cc1c6e52ad3d43f]::ty::Ty as rustc_type_ir[7a3f94f8b621150f]::fold::TypeSuperFoldable<rustc_middle[2cc1c6e52ad3d43f]::ty::context::TyCtxt>>::try_super_fold_with::<rustc_trait_selection[d4e26a25c789c9ca]::traits::project::AssocTypeNormalizer>
  46:     0x7f9a91852aa1 - <rustc_hir_typeck[286e94da59dc5e55]::fn_ctxt::FnCtxt>::normalize::<rustc_middle[2cc1c6e52ad3d43f]::ty::Ty>
  47:     0x7f9a9194d60c - <dyn rustc_hir_analysis[a6bf7c58d2954086]::astconv::AstConv>::ast_ty_to_ty_inner
  48:     0x7f9a8e75c341 - <rustc_hir_typeck[286e94da59dc5e55]::gather_locals::GatherLocalsVisitor as rustc_hir[7415d709695c548f]::intravisit::Visitor>::visit_expr
  49:     0x7f9a922d0eaa - rustc_hir_typeck[286e94da59dc5e55]::check::check_fn
  50:     0x7f9a919e5585 - rustc_hir_typeck[286e94da59dc5e55]::typeck
  51:     0x7f9a919e48e5 - rustc_query_impl[5ca841c3c79670ea]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[5ca841c3c79670ea]::query_impl::typeck::dynamic_query::{closure#2}::{closure#0}, rustc_middle[2cc1c6e52ad3d43f]::query::erase::Erased<[u8; 8usize]>>
  52:     0x7f9a919e38fa - rustc_query_system[125a8aa150dcabe3]::query::plumbing::try_execute_query::<rustc_query_impl[5ca841c3c79670ea]::DynamicConfig<rustc_query_system[125a8aa150dcabe3]::query::caches::VecCache<rustc_span[467c297c964200f6]::def_id::LocalDefId, rustc_middle[2cc1c6e52ad3d43f]::query::erase::Erased<[u8; 8usize]>>, false, false, false>, rustc_query_impl[5ca841c3c79670ea]::plumbing::QueryCtxt, false>
  53:     0x7f9a919e3410 - rustc_query_impl[5ca841c3c79670ea]::query_impl::typeck::get_query_non_incr::__rust_end_short_backtrace
  54:     0x7f9a919e2c96 - <rustc_middle[2cc1c6e52ad3d43f]::hir::map::Map>::par_body_owners::<rustc_hir_analysis[a6bf7c58d2954086]::check_crate::{closure#5}>::{closure#0}
  55:     0x7f9a919e17c4 - rustc_hir_analysis[a6bf7c58d2954086]::check_crate
  56:     0x7f9a921d3f92 - rustc_interface[c2746bee48761670]::passes::analysis
  57:     0x7f9a921d3bdf - rustc_query_impl[5ca841c3c79670ea]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[5ca841c3c79670ea]::query_impl::analysis::dynamic_query::{closure#2}::{closure#0}, rustc_middle[2cc1c6e52ad3d43f]::query::erase::Erased<[u8; 1usize]>>
  58:     0x7f9a924a17b2 - rustc_query_system[125a8aa150dcabe3]::query::plumbing::try_execute_query::<rustc_query_impl[5ca841c3c79670ea]::DynamicConfig<rustc_query_system[125a8aa150dcabe3]::query::caches::SingleCache<rustc_middle[2cc1c6e52ad3d43f]::query::erase::Erased<[u8; 1usize]>>, false, false, false>, rustc_query_impl[5ca841c3c79670ea]::plumbing::QueryCtxt, false>
  59:     0x7f9a924a1515 - rustc_query_impl[5ca841c3c79670ea]::query_impl::analysis::get_query_non_incr::__rust_end_short_backtrace
  60:     0x7f9a924e2436 - rustc_interface[c2746bee48761670]::interface::run_compiler::<core[30be359c16b30868]::result::Result<(), rustc_span[467c297c964200f6]::ErrorGuaranteed>, rustc_driver_impl[65af58b05c4f91ef]::run_compiler::{closure#0}>::{closure#0}
  61:     0x7f9a92160248 - std[f801e042bca9681]::sys_common::backtrace::__rust_begin_short_backtrace::<rustc_interface[c2746bee48761670]::util::run_in_thread_with_globals<rustc_interface[c2746bee48761670]::util::run_in_thread_pool_with_globals<rustc_interface[c2746bee48761670]::interface::run_compiler<core[30be359c16b30868]::result::Result<(), rustc_span[467c297c964200f6]::ErrorGuaranteed>, rustc_driver_impl[65af58b05c4f91ef]::run_compiler::{closure#0}>::{closure#0}, core[30be359c16b30868]::result::Result<(), rustc_span[467c297c964200f6]::ErrorGuaranteed>>::{closure#0}, core[30be359c16b30868]::result::Result<(), rustc_span[467c297c964200f6]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[30be359c16b30868]::result::Result<(), rustc_span[467c297c964200f6]::ErrorGuaranteed>>
  62:     0x7f9a92160077 - <<std[f801e042bca9681]::thread::Builder>::spawn_unchecked_<rustc_interface[c2746bee48761670]::util::run_in_thread_with_globals<rustc_interface[c2746bee48761670]::util::run_in_thread_pool_with_globals<rustc_interface[c2746bee48761670]::interface::run_compiler<core[30be359c16b30868]::result::Result<(), rustc_span[467c297c964200f6]::ErrorGuaranteed>, rustc_driver_impl[65af58b05c4f91ef]::run_compiler::{closure#0}>::{closure#0}, core[30be359c16b30868]::result::Result<(), rustc_span[467c297c964200f6]::ErrorGuaranteed>>::{closure#0}, core[30be359c16b30868]::result::Result<(), rustc_span[467c297c964200f6]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[30be359c16b30868]::result::Result<(), rustc_span[467c297c964200f6]::ErrorGuaranteed>>::{closure#1} as core[30be359c16b30868]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
  63:     0x7f9a8d798735 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h99757397e7c4fa77
                               at /rustc/af88f7db51f6f2a1472f9279d7c7e7c822afff77/library/alloc/src/boxed.rs:2015:9
  64:     0x7f9a8d798735 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h7e0e3d311e6447da
                               at /rustc/af88f7db51f6f2a1472f9279d7c7e7c822afff77/library/alloc/src/boxed.rs:2015:9
  65:     0x7f9a8d798735 - std::sys::pal::unix::thread::Thread::new::thread_start::h0eb0f22e3002fa19
                               at /rustc/af88f7db51f6f2a1472f9279d7c7e7c822afff77/library/std/src/sys/pal/unix/thread.rs:108:17
  66:     0x7f9a8d57e9eb - <unknown>
  67:     0x7f9a8d6027cc - <unknown>
  68:                0x0 - <unknown>

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: please attach the file at `/tmp/im/rustc-ice-2024-02-08T16_59_00-1557155.txt` to your bug report

query stack during panic:
#0 [fn_abi_of_instance] computing call ABI of `<impl at 9EC4A4B5373EE906E7D181DFC690A2B9872BD85A831838181574E1766E898D8D.rs:9:1: 9:18>::dim`
#1 [eval_to_allocation_raw] const-evaluating + checking `main::{constant#0}`
#2 [eval_to_valtree] evaluating type-level constant
#3 [typeck] type-checking `main`
#4 [analysis] running analysis passes on this crate
end of query stack
error: aborting due to 3 previous errors

Some errors have detailed explanations: E0049, E0658.
For more information about an error, try `rustc --explain E0049`.
@matthiaskrgr matthiaskrgr added 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. C-bug Category: This is a bug. F-effects `#![feature(effects)]` labels Feb 8, 2024
@rustbot rustbot added the needs-triage This issue may need triage. Remove it if it has been sufficiently triaged. label Feb 8, 2024
@oli-obk oli-obk added requires-nightly This issue requires a nightly compiler in some way. and removed needs-triage This issue may need triage. Remove it if it has been sufficiently triaged. labels Feb 8, 2024
@oli-obk
Copy link
Contributor

oli-obk commented Feb 8, 2024

Minimized:

// can't use build-fail, because this also fails check-fail, but
// the ICE from #120787 only reproduces on build-fail.
// compile-flags: --emit=mir

#![feature(effects)]

trait Dim {
    fn dim() -> usize;
}

enum Dim3 {}

impl Dim for Dim3 {
    fn dim(x: impl Sized) -> usize {
        3
    }
}

fn main() {
    [0; Dim3::dim()];
}

@matthiaskrgr matthiaskrgr changed the title ice: Region parameter out of range when substituting in region ice: Region parameter out of range when instantiating in region Mar 18, 2024
@matthiaskrgr matthiaskrgr added the S-bug-has-test Status: This bug is tracked inside the repo by a `known-bug` test. label Apr 15, 2024
@fmease fmease added the F-anonymous_lifetime_in_impl_trait `#![feature(anonymous_lifetime_in_impl_trait)]` label Apr 24, 2024
@matthiaskrgr matthiaskrgr changed the title ice: Region parameter out of range when instantiating in region ice: const parameter '_/#0 ('_/#0/0) out of range when instantiating args=[] Jun 2, 2024
@matthiaskrgr
Copy link
Member Author

update:

error[E0049]: method `dim` has 1 type parameter but its trait declaration has 0 type parameters
  --> lol.rs:10:19
   |
4  |     fn dim() -> usize;
   |           - expected 0 type parameters
...
10 |     fn dim(mut x: impl Iterator<Item = &'_ ()>) -> usize {
   |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   |                   |
   |                   found 1 type parameter
   |                   `impl Trait` introduces an implicit type parameter

error[E0658]: anonymous lifetimes in `impl Trait` are unstable
  --> lol.rs:10:41
   |
10 |     fn dim(mut x: impl Iterator<Item = &'_ ()>) -> usize {
   |                                         ^^ expected named lifetime parameter
   |
   = help: add `#![feature(anonymous_lifetime_in_impl_trait)]` to the crate attributes to enable
   = note: this compiler was built on 2024-06-01; consider upgrading it if it is out of date
help: consider introducing a named lifetime parameter
   |
10 |     fn dim<'a>(mut x: impl Iterator<Item = &'a ()>) -> usize {
   |           ++++                              ~~

thread 'rustc' panicked at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/compiler/rustc_type_ir/src/binder.rs:793:9:
const parameter `'_/#0` ('_/#0/0) out of range when instantiating args=[]
stack backtrace:
   0:     0x755fe108acc5 - std::backtrace_rs::backtrace::libunwind::trace::ha04a88842d9880e4
                               at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library/std/src/../../backtrace/src/backtrace/libunwind.rs:116:5
   1:     0x755fe108acc5 - std::backtrace_rs::backtrace::trace_unsynchronized::h3df86c3465abd5e1
                               at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
   2:     0x755fe108acc5 - std::sys_common::backtrace::_print_fmt::h8c2e29f86235af4c
                               at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library/std/src/sys_common/backtrace.rs:68:5
   3:     0x755fe108acc5 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h507a097b66676404
                               at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library/std/src/sys_common/backtrace.rs:44:22
   4:     0x755fe10db46b - core::fmt::rt::Argument::fmt::ha80e838d07549293
                               at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library/core/src/fmt/rt.rs:165:63
   5:     0x755fe10db46b - core::fmt::write::h29bd0f6435b5b5cb
                               at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library/core/src/fmt/mod.rs:1168:21
   6:     0x755fe107fa4f - std::io::Write::write_fmt::hd5651667cec2b52c
                               at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library/std/src/io/mod.rs:1835:15
   7:     0x755fe108aa9e - std::sys_common::backtrace::_print::h3176666daf50c582
                               at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library/std/src/sys_common/backtrace.rs:47:5
   8:     0x755fe108aa9e - std::sys_common::backtrace::print::ha19f92c0a79a518d
                               at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library/std/src/sys_common/backtrace.rs:34:9
   9:     0x755fe108d4d9 - std::panicking::default_hook::{{closure}}::hbd2fa3f92596c173
  10:     0x755fe108d27a - std::panicking::default_hook::h7a545bdac7eec416
                               at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library/std/src/panicking.rs:298:9
  11:     0x755fdd7422b0 - std[45eea3d871d24ad6]::panicking::update_hook::<alloc[fc515f74a8f785dc]::boxed::Box<rustc_driver_impl[c42a3492d6f6b9ec]::install_ice_hook::{closure#0}>>::{closure#0}
  12:     0x755fe108dc0b - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::haa82c5bf225b1a16
                               at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library/alloc/src/boxed.rs:2077:9
  13:     0x755fe108dc0b - std::panicking::rust_panic_with_hook::hcc81e648ee4fa5ca
                               at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library/std/src/panicking.rs:799:13
  14:     0x755fe108d984 - std::panicking::begin_panic_handler::{{closure}}::hb1ba03674522357e
                               at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library/std/src/panicking.rs:664:13
  15:     0x755fe108b189 - std::sys_common::backtrace::__rust_end_short_backtrace::hd358911377029d52
                               at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library/std/src/sys_common/backtrace.rs:171:18
  16:     0x755fe108d6b7 - rust_begin_unwind
                               at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library/std/src/panicking.rs:652:5
  17:     0x755fe10d7a03 - core::panicking::panic_fmt::h91b4e9abcff8b652
                               at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library/core/src/panicking.rs:72:14
  18:     0x755fddbf29b9 - <rustc_type_ir[ec233038e902676a]::binder::ArgFolder<rustc_middle[20ab712fb3484bec]::ty::context::TyCtxt>>::region_param_out_of_range
  19:     0x755fdec2bcb9 - <rustc_type_ir[ec233038e902676a]::binder::ArgFolder<rustc_middle[20ab712fb3484bec]::ty::context::TyCtxt> as rustc_type_ir[ec233038e902676a]::fold::TypeFolder<rustc_middle[20ab712fb3484bec]::ty::context::TyCtxt>>::fold_ty
  20:     0x755fdf2a053d - rustc_ty_utils[aa861e06d005dd49]::abi::fn_abi_of_instance
  21:     0x755fdf2a0273 - rustc_query_impl[2e1c19f32770c017]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[2e1c19f32770c017]::query_impl::fn_abi_of_instance::dynamic_query::{closure#2}::{closure#0}, rustc_middle[20ab712fb3484bec]::query::erase::Erased<[u8; 16usize]>>
  22:     0x755fdf29e215 - rustc_query_system[d7adc1b68469f11c]::query::plumbing::try_execute_query::<rustc_query_impl[2e1c19f32770c017]::DynamicConfig<rustc_query_system[d7adc1b68469f11c]::query::caches::DefaultCache<rustc_middle[20ab712fb3484bec]::ty::ParamEnvAnd<(rustc_middle[20ab712fb3484bec]::ty::instance::Instance, &rustc_middle[20ab712fb3484bec]::ty::list::RawList<(), rustc_middle[20ab712fb3484bec]::ty::Ty>)>, rustc_middle[20ab712fb3484bec]::query::erase::Erased<[u8; 16usize]>>, false, false, false>, rustc_query_impl[2e1c19f32770c017]::plumbing::QueryCtxt, false>
  23:     0x755fdf29de6f - rustc_query_impl[2e1c19f32770c017]::query_impl::fn_abi_of_instance::get_query_non_incr::__rust_end_short_backtrace
  24:     0x755fdf1e9620 - <rustc_const_eval[5995760da6ccdb98]::interpret::eval_context::InterpCx<rustc_const_eval[5995760da6ccdb98]::const_eval::machine::CompileTimeInterpreter>>::terminator
  25:     0x755fdcb46df1 - rustc_const_eval[5995760da6ccdb98]::const_eval::eval_queries::eval_to_allocation_raw_provider
  26:     0x755fdf1a0df6 - rustc_query_impl[2e1c19f32770c017]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[2e1c19f32770c017]::query_impl::eval_to_allocation_raw::dynamic_query::{closure#2}::{closure#0}, rustc_middle[20ab712fb3484bec]::query::erase::Erased<[u8; 24usize]>>
  27:     0x755fdf1a0619 - rustc_query_system[d7adc1b68469f11c]::query::plumbing::try_execute_query::<rustc_query_impl[2e1c19f32770c017]::DynamicConfig<rustc_query_system[d7adc1b68469f11c]::query::caches::DefaultCache<rustc_middle[20ab712fb3484bec]::ty::ParamEnvAnd<rustc_middle[20ab712fb3484bec]::mir::interpret::GlobalId>, rustc_middle[20ab712fb3484bec]::query::erase::Erased<[u8; 24usize]>>, false, false, false>, rustc_query_impl[2e1c19f32770c017]::plumbing::QueryCtxt, false>
  28:     0x755fdf1a01f0 - rustc_query_impl[2e1c19f32770c017]::query_impl::eval_to_allocation_raw::get_query_non_incr::__rust_end_short_backtrace
  29:     0x755fdf99c236 - rustc_middle[20ab712fb3484bec]::query::plumbing::query_get_at::<rustc_query_system[d7adc1b68469f11c]::query::caches::DefaultCache<rustc_middle[20ab712fb3484bec]::ty::ParamEnvAnd<rustc_middle[20ab712fb3484bec]::mir::interpret::GlobalId>, rustc_middle[20ab712fb3484bec]::query::erase::Erased<[u8; 24usize]>>>
  30:     0x755fdf99c4f5 - rustc_const_eval[5995760da6ccdb98]::const_eval::valtrees::eval_to_valtree
  31:     0x755fdf99c489 - <rustc_const_eval[5995760da6ccdb98]::provide::{closure#0} as core[221fd742908fc512]::ops::function::FnOnce<(rustc_middle[20ab712fb3484bec]::ty::context::TyCtxt, rustc_middle[20ab712fb3484bec]::ty::ParamEnvAnd<rustc_middle[20ab712fb3484bec]::mir::interpret::GlobalId>)>>::call_once
  32:     0x755fdf99c440 - rustc_query_impl[2e1c19f32770c017]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[2e1c19f32770c017]::query_impl::eval_to_valtree::dynamic_query::{closure#2}::{closure#0}, rustc_middle[20ab712fb3484bec]::query::erase::Erased<[u8; 24usize]>>
  33:     0x755fdf99c401 - <rustc_query_impl[2e1c19f32770c017]::query_impl::eval_to_valtree::dynamic_query::{closure#2} as core[221fd742908fc512]::ops::function::FnOnce<(rustc_middle[20ab712fb3484bec]::ty::context::TyCtxt, rustc_middle[20ab712fb3484bec]::ty::ParamEnvAnd<rustc_middle[20ab712fb3484bec]::mir::interpret::GlobalId>)>>::call_once
  34:     0x755fdf1a06f4 - rustc_query_system[d7adc1b68469f11c]::query::plumbing::try_execute_query::<rustc_query_impl[2e1c19f32770c017]::DynamicConfig<rustc_query_system[d7adc1b68469f11c]::query::caches::DefaultCache<rustc_middle[20ab712fb3484bec]::ty::ParamEnvAnd<rustc_middle[20ab712fb3484bec]::mir::interpret::GlobalId>, rustc_middle[20ab712fb3484bec]::query::erase::Erased<[u8; 24usize]>>, false, false, false>, rustc_query_impl[2e1c19f32770c017]::plumbing::QueryCtxt, false>
  35:     0x755fdf1a0008 - rustc_query_impl[2e1c19f32770c017]::query_impl::eval_to_valtree::get_query_non_incr::__rust_end_short_backtrace
  36:     0x755fdf4570f1 - rustc_middle[20ab712fb3484bec]::query::plumbing::query_get_at::<rustc_query_system[d7adc1b68469f11c]::query::caches::DefaultCache<rustc_middle[20ab712fb3484bec]::ty::ParamEnvAnd<rustc_middle[20ab712fb3484bec]::mir::interpret::GlobalId>, rustc_middle[20ab712fb3484bec]::query::erase::Erased<[u8; 24usize]>>>
  37:     0x755fdf4d2afe - <rustc_middle[20ab712fb3484bec]::ty::context::TyCtxt>::const_eval_global_id_for_typeck
  38:     0x755fdf4d307e - <rustc_middle[20ab712fb3484bec]::ty::context::TyCtxt>::const_eval_resolve_for_typeck
  39:     0x755fdf4d2e26 - <rustc_middle[20ab712fb3484bec]::ty::consts::Const>::eval
  40:     0x755fdee80457 - <rustc_trait_selection[57b953155e7b0930]::traits::normalize::AssocTypeNormalizer as rustc_type_ir[ec233038e902676a]::fold::TypeFolder<rustc_middle[20ab712fb3484bec]::ty::context::TyCtxt>>::fold_const
  41:     0x755fdf561741 - <rustc_middle[20ab712fb3484bec]::ty::Ty as rustc_type_ir[ec233038e902676a]::fold::TypeSuperFoldable<rustc_middle[20ab712fb3484bec]::ty::context::TyCtxt>>::try_super_fold_with::<rustc_trait_selection[57b953155e7b0930]::traits::normalize::AssocTypeNormalizer>
  42:     0x755fdec522bd - <rustc_hir_typeck[590b1a1a80be12ec]::fn_ctxt::FnCtxt>::normalize::<rustc_middle[20ab712fb3484bec]::ty::Ty>
  43:     0x755fdf0c0406 - <dyn rustc_hir_analysis[905f368b2fc9ddf1]::hir_ty_lowering::HirTyLowerer>::lower_ty_common::{closure#0}
  44:     0x755fdf686fe6 - <rustc_hir_typeck[590b1a1a80be12ec]::gather_locals::GatherLocalsVisitor>::declare
  45:     0x755fdc350e52 - <rustc_hir_typeck[590b1a1a80be12ec]::gather_locals::GatherLocalsVisitor as rustc_hir[c6d77eea478f137d]::intravisit::Visitor>::visit_expr
  46:     0x755fdf43484e - rustc_hir_typeck[590b1a1a80be12ec]::check::check_fn
  47:     0x755fdf42a92c - rustc_hir_typeck[590b1a1a80be12ec]::typeck
  48:     0x755fdf42a391 - rustc_query_impl[2e1c19f32770c017]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[2e1c19f32770c017]::query_impl::typeck::dynamic_query::{closure#2}::{closure#0}, rustc_middle[20ab712fb3484bec]::query::erase::Erased<[u8; 8usize]>>
  49:     0x755fdf210d6e - rustc_query_system[d7adc1b68469f11c]::query::plumbing::try_execute_query::<rustc_query_impl[2e1c19f32770c017]::DynamicConfig<rustc_query_system[d7adc1b68469f11c]::query::caches::VecCache<rustc_span[51dc3a994d050bac]::def_id::LocalDefId, rustc_middle[20ab712fb3484bec]::query::erase::Erased<[u8; 8usize]>>, false, false, false>, rustc_query_impl[2e1c19f32770c017]::plumbing::QueryCtxt, false>
  50:     0x755fdf20f895 - rustc_query_impl[2e1c19f32770c017]::query_impl::typeck::get_query_non_incr::__rust_end_short_backtrace
  51:     0x755fdf20f4cb - <rustc_middle[20ab712fb3484bec]::hir::map::Map>::par_body_owners::<rustc_hir_analysis[905f368b2fc9ddf1]::check_crate::{closure#4}>::{closure#0}
  52:     0x755fdf20df8b - rustc_hir_analysis[905f368b2fc9ddf1]::check_crate
  53:     0x755fdf16fd3e - rustc_interface[6bfa9daba1d5b6c2]::passes::analysis
  54:     0x755fdf16f89b - rustc_query_impl[2e1c19f32770c017]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[2e1c19f32770c017]::query_impl::analysis::dynamic_query::{closure#2}::{closure#0}, rustc_middle[20ab712fb3484bec]::query::erase::Erased<[u8; 1usize]>>
  55:     0x755fdf9de8e5 - rustc_query_system[d7adc1b68469f11c]::query::plumbing::try_execute_query::<rustc_query_impl[2e1c19f32770c017]::DynamicConfig<rustc_query_system[d7adc1b68469f11c]::query::caches::SingleCache<rustc_middle[20ab712fb3484bec]::query::erase::Erased<[u8; 1usize]>>, false, false, false>, rustc_query_impl[2e1c19f32770c017]::plumbing::QueryCtxt, false>
  56:     0x755fdf9de64f - rustc_query_impl[2e1c19f32770c017]::query_impl::analysis::get_query_non_incr::__rust_end_short_backtrace
  57:     0x755fdf7d1ce0 - rustc_interface[6bfa9daba1d5b6c2]::interface::run_compiler::<core[221fd742908fc512]::result::Result<(), rustc_span[51dc3a994d050bac]::ErrorGuaranteed>, rustc_driver_impl[c42a3492d6f6b9ec]::run_compiler::{closure#0}>::{closure#1}
  58:     0x755fdf7bd649 - std[45eea3d871d24ad6]::sys_common::backtrace::__rust_begin_short_backtrace::<rustc_interface[6bfa9daba1d5b6c2]::util::run_in_thread_with_globals<rustc_interface[6bfa9daba1d5b6c2]::util::run_in_thread_pool_with_globals<rustc_interface[6bfa9daba1d5b6c2]::interface::run_compiler<core[221fd742908fc512]::result::Result<(), rustc_span[51dc3a994d050bac]::ErrorGuaranteed>, rustc_driver_impl[c42a3492d6f6b9ec]::run_compiler::{closure#0}>::{closure#1}, core[221fd742908fc512]::result::Result<(), rustc_span[51dc3a994d050bac]::ErrorGuaranteed>>::{closure#0}, core[221fd742908fc512]::result::Result<(), rustc_span[51dc3a994d050bac]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[221fd742908fc512]::result::Result<(), rustc_span[51dc3a994d050bac]::ErrorGuaranteed>>
  59:     0x755fdf7bd400 - <<std[45eea3d871d24ad6]::thread::Builder>::spawn_unchecked_<rustc_interface[6bfa9daba1d5b6c2]::util::run_in_thread_with_globals<rustc_interface[6bfa9daba1d5b6c2]::util::run_in_thread_pool_with_globals<rustc_interface[6bfa9daba1d5b6c2]::interface::run_compiler<core[221fd742908fc512]::result::Result<(), rustc_span[51dc3a994d050bac]::ErrorGuaranteed>, rustc_driver_impl[c42a3492d6f6b9ec]::run_compiler::{closure#0}>::{closure#1}, core[221fd742908fc512]::result::Result<(), rustc_span[51dc3a994d050bac]::ErrorGuaranteed>>::{closure#0}, core[221fd742908fc512]::result::Result<(), rustc_span[51dc3a994d050bac]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[221fd742908fc512]::result::Result<(), rustc_span[51dc3a994d050bac]::ErrorGuaranteed>>::{closure#2} as core[221fd742908fc512]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
  60:     0x755fe1097bfb - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h715ce95eefcc4a2c
                               at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library/alloc/src/boxed.rs:2063:9
  61:     0x755fe1097bfb - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h502013687618e5e5
                               at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library/alloc/src/boxed.rs:2063:9
  62:     0x755fe1097bfb - std::sys::pal::unix::thread::Thread::new::thread_start::ha0246e0960ff3ff1
                               at /rustc/f67a1acc04c7ecbf05751b17592dd8d245b75256/library/std/src/sys/pal/unix/thread.rs:108:17
  63:     0x755fe0e341cf - <unknown>
  64:     0x755fe0eb56ec - <unknown>
  65:                0x0 - <unknown>

error: 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: please make sure that you have updated to the latest nightly

note: please attach the file at `/tmp/rustc-ice-2024-06-02T04_56_37-2417198.txt` to your bug report

query stack during panic:
#0 [fn_abi_of_instance] computing call ABI of `<impl at lol.rs:9:1: 9:18>::dim`
#1 [eval_to_allocation_raw] const-evaluating + checking `main::{constant#0}`
end of query stack
error: aborting due to 2 previous errors

Some errors have detailed explanations: E0049, E0658.
For more information about an error, try `rustc --explain E0049`.

@compiler-errors compiler-errors mentioned this issue Jul 25, 2024
Merged
@bors bors closed this as completed in 5a853d0 Jul 25, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
C-bug Category: This is a bug. F-anonymous_lifetime_in_impl_trait `#![feature(anonymous_lifetime_in_impl_trait)]` F-effects `#![feature(effects)]` I-ICE Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️ requires-nightly This issue requires a nightly compiler in some way. S-bug-has-test Status: This bug is tracked inside the repo by a `known-bug` test. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Make sure that args are compatible in resolve_associated_item compiler-errors/rust
4 participants
@oli-obk @matthiaskrgr @fmease @rustbot