Skip to content

ICE: type parameter T/#1 (T/#1/1) out of range when instantiating, args=[?0t] #141014

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
Open
dpytaylo opened this issue May 14, 2025 · 2 comments
Open

ICE: type parameter T/#1 (T/#1/1) out of range when instantiating, args=[?0t] #141014

dpytaylo opened this issue May 14, 2025 · 2 comments
Labels
C-bug Category: This is a bug. F-min_generic_const_args `#![feature(min_generic_const_args)]` I-ICE Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️ requires-incomplete-features This issue requires the use of incomplete features. S-has-bisection Status: A bisection has been found for this issue S-has-mcve Status: A Minimal Complete and Verifiable Example has been found for this issue T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.

Comments

@dpytaylo
Copy link

dpytaylo commented May 14, 2025 •
edited
Loading

Code

#![feature(min_generic_const_args)]

trait Abc {}

trait A {
    const VALUE: usize;
}

impl<T: Abc> A for T {
    const VALUE: usize = 0;
}

trait S<const K: usize> {}

trait Handler<T>
where
    // T: A,
    (): S<{ <T as A>::VALUE }>,
{
}

Meta

The ICE doesn't occur if generic_const_expr is used instead of min_generic_const_args (but it is still a compiler error as it should be).

rustc --version --verbose:

rustc 1.89.0-nightly (414482f6a 2025-05-13)
binary: rustc
commit-hash: 414482f6a0d4e7290f614300581a0b55442552a3
commit-date: 2025-05-13
host: x86_64-unknown-linux-gnu
release: 1.89.0-nightly
LLVM version: 20.1.4

Error output

$ cargo c
    Checking ice v0.1.0 (/home/user/code/ice)
warning: the feature `min_generic_const_args` is incomplete and may not be safe to use and/or cause compiler crashes
 --> src/lib.rs:1:12
  |
1 | #![feature(min_generic_const_args)]
  |            ^^^^^^^^^^^^^^^^^^^^^^
  |
  = note: see issue #132980 <https://github.com/rust-lang/rust/issues/132980> for more information
  = note: `#[warn(incomplete_features)]` on by default


thread 'rustc' panicked at /rustc/414482f6a0d4e7290f614300581a0b55442552a3/compiler/rustc_type_ir/src/binder.rs:745:9:
type parameter `T/#1` (T/#1/1) out of range when instantiating, args=[?0t]
stack backtrace:
   0:     0x7ff083158c93 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::h2f02338d4ae6d8b0
   1:     0x7ff083805987 - core::fmt::write::h5e77c22335cabc7f
   2:     0x7ff0848bf611 - std::io::Write::write_fmt::hccf7b69d0b3d44cc
   3:     0x7ff083158af2 - std::sys::backtrace::BacktraceLock::print::hb22254026b13323e
   4:     0x7ff08315c6ea - std::panicking::default_hook::{{closure}}::h15ac4e3ee7801be5
   5:     0x7ff08315c26f - std::panicking::default_hook::h15db2a3343942a16
   6:     0x7ff08218ba03 - std[7cad246a9e76d988]::panicking::update_hook::<alloc[7a88f824ccc9bf63]::boxed::Box<rustc_driver_impl[817478e824aa827]::install_ice_hook::{closure#1}>>::{closure#0}
   7:     0x7ff08315cf63 - std::panicking::rust_panic_with_hook::h67f3fa85499b6cf9
   8:     0x7ff08315cc5a - std::panicking::begin_panic_handler::{{closure}}::h40a30e994b26720e
   9:     0x7ff083159169 - std::sys::backtrace::__rust_end_short_backtrace::hb5bcb2f6ea295c8b
  10:     0x7ff08315c91d - __rustc[bf3627c2b8b7eae9]::rust_begin_unwind
  11:     0x7ff07fa874e0 - core::panicking::panic_fmt::h20722ae9d0312a90
  12:     0x7ff0827b2ae9 - <rustc_type_ir[1b5dc93b61213ca0]::binder::ArgFolder<rustc_middle[8f648b1898e8f992]::ty::context::TyCtxt>>::type_param_out_of_range
  13:     0x7ff083984b49 - <rustc_type_ir[1b5dc93b61213ca0]::binder::ArgFolder<rustc_middle[8f648b1898e8f992]::ty::context::TyCtxt> as rustc_type_ir[1b5dc93b61213ca0]::fold::TypeFolder<rustc_middle[8f648b1898e8f992]::ty::context::TyCtxt>>::fold_ty
  14:     0x7ff0839763fa - <&rustc_middle[8f648b1898e8f992]::ty::list::RawList<(), rustc_middle[8f648b1898e8f992]::ty::generic_args::GenericArg> as rustc_type_ir[1b5dc93b61213ca0]::fold::TypeFoldable<rustc_middle[8f648b1898e8f992]::ty::context::TyCtxt>>::fold_with::<rustc_type_ir[1b5dc93b61213ca0]::binder::ArgFolder<rustc_middle[8f648b1898e8f992]::ty::context::TyCtxt>>
  15:     0x7ff084ecfbd5 - <rustc_type_ir[1b5dc93b61213ca0]::binder::ArgFolder<rustc_middle[8f648b1898e8f992]::ty::context::TyCtxt> as rustc_type_ir[1b5dc93b61213ca0]::fold::TypeFolder<rustc_middle[8f648b1898e8f992]::ty::context::TyCtxt>>::fold_const.llvm.15140054944930459123.cold
  16:     0x7ff0839af7b6 - rustc_trait_selection[b001b6d631c9eef9]::traits::project::confirm_candidate
  17:     0x7ff0839c38d1 - rustc_trait_selection[b001b6d631c9eef9]::traits::project::normalize_projection_term
  18:     0x7ff083019e27 - <rustc_trait_selection[b001b6d631c9eef9]::traits::normalize::AssocTypeNormalizer>::normalize_trait_projection::{closure#0}
  19:     0x7ff0843a0c2e - <rustc_trait_selection[b001b6d631c9eef9]::traits::normalize::AssocTypeNormalizer as rustc_type_ir[1b5dc93b61213ca0]::fold::TypeFolder<rustc_middle[8f648b1898e8f992]::ty::context::TyCtxt>>::fold_const
  20:     0x7ff0844d626d - <rustc_trait_selection[b001b6d631c9eef9]::traits::normalize::AssocTypeNormalizer as rustc_type_ir[1b5dc93b61213ca0]::fold::TypeFolder<rustc_middle[8f648b1898e8f992]::ty::context::TyCtxt>>::fold_binder::<rustc_type_ir[1b5dc93b61213ca0]::predicate_kind::PredicateKind<rustc_middle[8f648b1898e8f992]::ty::context::TyCtxt>>
  21:     0x7ff0844d5c26 - <alloc[7a88f824ccc9bf63]::vec::Vec<rustc_middle[8f648b1898e8f992]::ty::predicate::Clause> as core[ee896a018689144d]::iter::traits::collect::FromIterator<rustc_middle[8f648b1898e8f992]::ty::predicate::Clause>>::from_iter::<core[ee896a018689144d]::iter::adapters::map::Map<alloc[7a88f824ccc9bf63]::vec::into_iter::IntoIter<rustc_middle[8f648b1898e8f992]::ty::predicate::Clause>, <alloc[7a88f824ccc9bf63]::vec::Vec<rustc_middle[8f648b1898e8f992]::ty::predicate::Clause> as rustc_type_ir[1b5dc93b61213ca0]::fold::TypeFoldable<rustc_middle[8f648b1898e8f992]::ty::context::TyCtxt>>::fold_with<rustc_trait_selection[b001b6d631c9eef9]::traits::normalize::AssocTypeNormalizer>::{closure#0}>>
  22:     0x7ff083fa8882 - rustc_trait_selection[b001b6d631c9eef9]::traits::do_normalize_predicates
  23:     0x7ff084192066 - rustc_trait_selection[b001b6d631c9eef9]::traits::normalize_param_env_or_error
  24:     0x7ff0841947d3 - rustc_ty_utils[84ca4d866194330f]::ty::param_env
  25:     0x7ff084194447 - rustc_query_impl[c116a7b28af8393]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[c116a7b28af8393]::query_impl::param_env::dynamic_query::{closure#2}::{closure#0}, rustc_middle[8f648b1898e8f992]::query::erase::Erased<[u8; 8usize]>>
  26:     0x7ff083b5457f - rustc_query_system[341f49cf1150f7a3]::query::plumbing::try_execute_query::<rustc_query_impl[c116a7b28af8393]::DynamicConfig<rustc_query_system[341f49cf1150f7a3]::query::caches::DefIdCache<rustc_middle[8f648b1898e8f992]::query::erase::Erased<[u8; 8usize]>>, false, false, false>, rustc_query_impl[c116a7b28af8393]::plumbing::QueryCtxt, true>
  27:     0x7ff083b53956 - rustc_query_impl[c116a7b28af8393]::query_impl::param_env::get_query_incr::__rust_end_short_backtrace
  28:     0x7ff0847e7b0f - rustc_hir_analysis[4f841bd3f24bbd33]::check::wfcheck::check_trait
  29:     0x7ff083fd5134 - rustc_hir_analysis[4f841bd3f24bbd33]::check::wfcheck::check_well_formed
  30:     0x7ff083fd348b - rustc_query_impl[c116a7b28af8393]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[c116a7b28af8393]::query_impl::check_well_formed::dynamic_query::{closure#2}::{closure#0}, rustc_middle[8f648b1898e8f992]::query::erase::Erased<[u8; 1usize]>>
  31:     0x7ff083b4e42d - rustc_query_system[341f49cf1150f7a3]::query::plumbing::try_execute_query::<rustc_query_impl[c116a7b28af8393]::DynamicConfig<rustc_data_structures[a0ae7bd4be3b1039]::vec_cache::VecCache<rustc_span[81f30c4e05e9bbfa]::def_id::LocalDefId, rustc_middle[8f648b1898e8f992]::query::erase::Erased<[u8; 1usize]>, rustc_query_system[341f49cf1150f7a3]::dep_graph::graph::DepNodeIndex>, false, false, false>, rustc_query_impl[c116a7b28af8393]::plumbing::QueryCtxt, true>
  32:     0x7ff0847f221a - rustc_query_impl[c116a7b28af8393]::plumbing::force_from_dep_node::<rustc_query_impl[c116a7b28af8393]::DynamicConfig<rustc_data_structures[a0ae7bd4be3b1039]::vec_cache::VecCache<rustc_span[81f30c4e05e9bbfa]::def_id::LocalDefId, rustc_middle[8f648b1898e8f992]::query::erase::Erased<[u8; 1usize]>, rustc_query_system[341f49cf1150f7a3]::dep_graph::graph::DepNodeIndex>, false, false, false>>
  33:     0x7ff0847f2073 - <rustc_query_impl[c116a7b28af8393]::plumbing::query_callback<rustc_query_impl[c116a7b28af8393]::query_impl::check_well_formed::QueryType>::{closure#0} as core[ee896a018689144d]::ops::function::FnOnce<(rustc_middle[8f648b1898e8f992]::ty::context::TyCtxt, rustc_query_system[341f49cf1150f7a3]::dep_graph::dep_node::DepNode, rustc_query_system[341f49cf1150f7a3]::dep_graph::serialized::SerializedDepNodeIndex)>>::call_once
  34:     0x7ff0838201ab - <rustc_query_system[341f49cf1150f7a3]::dep_graph::graph::DepGraphData<rustc_middle[8f648b1898e8f992]::dep_graph::DepsType>>::try_mark_previous_green::<rustc_query_impl[c116a7b28af8393]::plumbing::QueryCtxt>
  35:     0x7ff084380962 - <rustc_query_system[341f49cf1150f7a3]::dep_graph::graph::DepGraphData<rustc_middle[8f648b1898e8f992]::dep_graph::DepsType>>::try_mark_green::<rustc_query_impl[c116a7b28af8393]::plumbing::QueryCtxt>
  36:     0x7ff0843806f7 - rustc_query_system[341f49cf1150f7a3]::query::plumbing::ensure_must_run::<rustc_query_impl[c116a7b28af8393]::DynamicConfig<rustc_query_system[341f49cf1150f7a3]::query::caches::DefaultCache<rustc_span[81f30c4e05e9bbfa]::def_id::LocalModDefId, rustc_middle[8f648b1898e8f992]::query::erase::Erased<[u8; 1usize]>>, false, false, false>, rustc_query_impl[c116a7b28af8393]::plumbing::QueryCtxt>
  37:     0x7ff0847aa5a1 - rustc_query_impl[c116a7b28af8393]::query_impl::check_mod_type_wf::get_query_incr::__rust_end_short_backtrace
  38:     0x7ff083ad4240 - rustc_hir_analysis[4f841bd3f24bbd33]::check_crate
  39:     0x7ff08411eab7 - rustc_interface[2a1066e4df123d40]::passes::run_required_analyses
  40:     0x7ff0847ab99e - rustc_interface[2a1066e4df123d40]::passes::analysis
  41:     0x7ff0847ab975 - rustc_query_impl[c116a7b28af8393]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[c116a7b28af8393]::query_impl::analysis::dynamic_query::{closure#2}::{closure#0}, rustc_middle[8f648b1898e8f992]::query::erase::Erased<[u8; 0usize]>>
  42:     0x7ff0847a6584 - rustc_query_system[341f49cf1150f7a3]::query::plumbing::try_execute_query::<rustc_query_impl[c116a7b28af8393]::DynamicConfig<rustc_query_system[341f49cf1150f7a3]::query::caches::SingleCache<rustc_middle[8f648b1898e8f992]::query::erase::Erased<[u8; 0usize]>>, false, false, false>, rustc_query_impl[c116a7b28af8393]::plumbing::QueryCtxt, true>
  43:     0x7ff0847a5ea8 - rustc_query_impl[c116a7b28af8393]::query_impl::analysis::get_query_incr::__rust_end_short_backtrace
  44:     0x7ff084a149c7 - rustc_interface[2a1066e4df123d40]::passes::create_and_enter_global_ctxt::<core[ee896a018689144d]::option::Option<rustc_interface[2a1066e4df123d40]::queries::Linker>, rustc_driver_impl[817478e824aa827]::run_compiler::{closure#0}::{closure#2}>::{closure#2}::{closure#0}
  45:     0x7ff084901ea6 - rustc_interface[2a1066e4df123d40]::interface::run_compiler::<(), rustc_driver_impl[817478e824aa827]::run_compiler::{closure#0}>::{closure#1}
  46:     0x7ff0848b62be - std[7cad246a9e76d988]::sys::backtrace::__rust_begin_short_backtrace::<rustc_interface[2a1066e4df123d40]::util::run_in_thread_with_globals<rustc_interface[2a1066e4df123d40]::util::run_in_thread_pool_with_globals<rustc_interface[2a1066e4df123d40]::interface::run_compiler<(), rustc_driver_impl[817478e824aa827]::run_compiler::{closure#0}>::{closure#1}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>
  47:     0x7ff0848b672b - <<std[7cad246a9e76d988]::thread::Builder>::spawn_unchecked_<rustc_interface[2a1066e4df123d40]::util::run_in_thread_with_globals<rustc_interface[2a1066e4df123d40]::util::run_in_thread_pool_with_globals<rustc_interface[2a1066e4df123d40]::interface::run_compiler<(), rustc_driver_impl[817478e824aa827]::run_compiler::{closure#0}>::{closure#1}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>::{closure#1} as core[ee896a018689144d]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
  48:     0x7ff0848b7b2b - std::sys::pal::unix::thread::Thread::new::thread_start::h211a36f354245501
  49:     0x7ff07e6a8144 - <unknown>
  50:     0x7ff07e7287dc - <unknown>
  51:                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 `/home/user/code/ice/rustc-ice-2025-05-14T20_11_19-1258.txt` to your bug report

note: compiler flags: --crate-type lib -C embed-bitcode=no -C debuginfo=2 -C incremental=[REDACTED] -C link-arg=-fuse-ld=lld

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

query stack during panic:
#0 [param_env] computing normalized predicates of `Handler`
#1 [check_well_formed] checking that `Handler` is well-formed
... and 1 other queries... use `env RUST_BACKTRACE=1` to see the full query stack
there was a panic while trying to force a dep node
try_mark_green dep node stack:
#0 check_mod_type_wf(ice[e5f8])
end of try_mark_green dep node stack
warning: `ice` (lib) generated 1 warning
error: could not compile `ice` (lib); 1 warning emitted

Caused by:
  process didn't exit successfully: `/home/user/.rustup/toolchains/nightly-x86_64-unknown-linux-gnu/bin/rustc --crate-name ice --edition=2024 src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --diagnostic-width=268 --crate-type lib --emit=dep-info,metadata -C embed-bitcode=no -C debuginfo=2 --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values())' -C metadata=3a542375509b9914 -C extra-filename=-90b8f079d423dec4 --out-dir /home/user/code/ice/target/debug/deps -C incremental=/home/user/code/ice/target/debug/incremental -L dependency=/home/user/code/ice/target/debug/deps -C link-arg=-fuse-ld=lld` (exit status: 101)
Backtrace 

thread 'rustc' panicked at /rustc/414482f6a0d4e7290f614300581a0b55442552a3/compiler/rustc_type_ir/src/binder.rs:745:9:
type parameter `T/#1` (T/#1/1) out of range when instantiating, args=[?0t]
stack backtrace:
   0:     0x7ff58e4655e5 - std::backtrace::Backtrace::create::hb3228e4721318ce5
   1:     0x7ff58c943085 - std::backtrace::Backtrace::force_capture::hd89f8875b2d59275
   2:     0x7ff58b98c191 - std[7cad246a9e76d988]::panicking::update_hook::<alloc[7a88f824ccc9bf63]::boxed::Box<rustc_driver_impl[817478e824aa827]::install_ice_hook::{closure#1}>>::{closure#0}
   3:     0x7ff58c95cf63 - std::panicking::rust_panic_with_hook::h67f3fa85499b6cf9
   4:     0x7ff58c95cc5a - std::panicking::begin_panic_handler::{{closure}}::h40a30e994b26720e
   5:     0x7ff58c959169 - std::sys::backtrace::__rust_end_short_backtrace::hb5bcb2f6ea295c8b
   6:     0x7ff58c95c91d - __rustc[bf3627c2b8b7eae9]::rust_begin_unwind
   7:     0x7ff5892874e0 - core::panicking::panic_fmt::h20722ae9d0312a90
   8:     0x7ff58bfb2ae9 - <rustc_type_ir[1b5dc93b61213ca0]::binder::ArgFolder<rustc_middle[8f648b1898e8f992]::ty::context::TyCtxt>>::type_param_out_of_range
   9:     0x7ff58d184b49 - <rustc_type_ir[1b5dc93b61213ca0]::binder::ArgFolder<rustc_middle[8f648b1898e8f992]::ty::context::TyCtxt> as rustc_type_ir[1b5dc93b61213ca0]::fold::TypeFolder<rustc_middle[8f648b1898e8f992]::ty::context::TyCtxt>>::fold_ty
  10:     0x7ff58d1763fa - <&rustc_middle[8f648b1898e8f992]::ty::list::RawList<(), rustc_middle[8f648b1898e8f992]::ty::generic_args::GenericArg> as rustc_type_ir[1b5dc93b61213ca0]::fold::TypeFoldable<rustc_middle[8f648b1898e8f992]::ty::context::TyCtxt>>::fold_with::<rustc_type_ir[1b5dc93b61213ca0]::binder::ArgFolder<rustc_middle[8f648b1898e8f992]::ty::context::TyCtxt>>
  11:     0x7ff58e6cfbd5 - <rustc_type_ir[1b5dc93b61213ca0]::binder::ArgFolder<rustc_middle[8f648b1898e8f992]::ty::context::TyCtxt> as rustc_type_ir[1b5dc93b61213ca0]::fold::TypeFolder<rustc_middle[8f648b1898e8f992]::ty::context::TyCtxt>>::fold_const.llvm.15140054944930459123.cold
  12:     0x7ff58d1af7b6 - rustc_trait_selection[b001b6d631c9eef9]::traits::project::confirm_candidate
  13:     0x7ff58d1c38d1 - rustc_trait_selection[b001b6d631c9eef9]::traits::project::normalize_projection_term
  14:     0x7ff58c819e27 - <rustc_trait_selection[b001b6d631c9eef9]::traits::normalize::AssocTypeNormalizer>::normalize_trait_projection::{closure#0}
  15:     0x7ff58dba0c2e - <rustc_trait_selection[b001b6d631c9eef9]::traits::normalize::AssocTypeNormalizer as rustc_type_ir[1b5dc93b61213ca0]::fold::TypeFolder<rustc_middle[8f648b1898e8f992]::ty::context::TyCtxt>>::fold_const
  16:     0x7ff58dcd626d - <rustc_trait_selection[b001b6d631c9eef9]::traits::normalize::AssocTypeNormalizer as rustc_type_ir[1b5dc93b61213ca0]::fold::TypeFolder<rustc_middle[8f648b1898e8f992]::ty::context::TyCtxt>>::fold_binder::<rustc_type_ir[1b5dc93b61213ca0]::predicate_kind::PredicateKind<rustc_middle[8f648b1898e8f992]::ty::context::TyCtxt>>
  17:     0x7ff58dcd5c26 - <alloc[7a88f824ccc9bf63]::vec::Vec<rustc_middle[8f648b1898e8f992]::ty::predicate::Clause> as core[ee896a018689144d]::iter::traits::collect::FromIterator<rustc_middle[8f648b1898e8f992]::ty::predicate::Clause>>::from_iter::<core[ee896a018689144d]::iter::adapters::map::Map<alloc[7a88f824ccc9bf63]::vec::into_iter::IntoIter<rustc_middle[8f648b1898e8f992]::ty::predicate::Clause>, <alloc[7a88f824ccc9bf63]::vec::Vec<rustc_middle[8f648b1898e8f992]::ty::predicate::Clause> as rustc_type_ir[1b5dc93b61213ca0]::fold::TypeFoldable<rustc_middle[8f648b1898e8f992]::ty::context::TyCtxt>>::fold_with<rustc_trait_selection[b001b6d631c9eef9]::traits::normalize::AssocTypeNormalizer>::{closure#0}>>
  18:     0x7ff58d7a8882 - rustc_trait_selection[b001b6d631c9eef9]::traits::do_normalize_predicates
  19:     0x7ff58d992066 - rustc_trait_selection[b001b6d631c9eef9]::traits::normalize_param_env_or_error
  20:     0x7ff58d9947d3 - rustc_ty_utils[84ca4d866194330f]::ty::param_env
  21:     0x7ff58d994447 - rustc_query_impl[c116a7b28af8393]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[c116a7b28af8393]::query_impl::param_env::dynamic_query::{closure#2}::{closure#0}, rustc_middle[8f648b1898e8f992]::query::erase::Erased<[u8; 8usize]>>
  22:     0x7ff58d35457f - rustc_query_system[341f49cf1150f7a3]::query::plumbing::try_execute_query::<rustc_query_impl[c116a7b28af8393]::DynamicConfig<rustc_query_system[341f49cf1150f7a3]::query::caches::DefIdCache<rustc_middle[8f648b1898e8f992]::query::erase::Erased<[u8; 8usize]>>, false, false, false>, rustc_query_impl[c116a7b28af8393]::plumbing::QueryCtxt, true>
  23:     0x7ff58d353956 - rustc_query_impl[c116a7b28af8393]::query_impl::param_env::get_query_incr::__rust_end_short_backtrace
  24:     0x7ff58dfe7b0f - rustc_hir_analysis[4f841bd3f24bbd33]::check::wfcheck::check_trait
  25:     0x7ff58d7d5134 - rustc_hir_analysis[4f841bd3f24bbd33]::check::wfcheck::check_well_formed
  26:     0x7ff58d7d348b - rustc_query_impl[c116a7b28af8393]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[c116a7b28af8393]::query_impl::check_well_formed::dynamic_query::{closure#2}::{closure#0}, rustc_middle[8f648b1898e8f992]::query::erase::Erased<[u8; 1usize]>>
  27:     0x7ff58d34e42d - rustc_query_system[341f49cf1150f7a3]::query::plumbing::try_execute_query::<rustc_query_impl[c116a7b28af8393]::DynamicConfig<rustc_data_structures[a0ae7bd4be3b1039]::vec_cache::VecCache<rustc_span[81f30c4e05e9bbfa]::def_id::LocalDefId, rustc_middle[8f648b1898e8f992]::query::erase::Erased<[u8; 1usize]>, rustc_query_system[341f49cf1150f7a3]::dep_graph::graph::DepNodeIndex>, false, false, false>, rustc_query_impl[c116a7b28af8393]::plumbing::QueryCtxt, true>
  28:     0x7ff58d34dbb2 - rustc_query_impl[c116a7b28af8393]::query_impl::check_well_formed::get_query_incr::__rust_end_short_backtrace
  29:     0x7ff58d7cfdbd - rustc_hir_analysis[4f841bd3f24bbd33]::check::wfcheck::check_mod_type_wf
  30:     0x7ff58d7cfbd5 - rustc_query_impl[c116a7b28af8393]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[c116a7b28af8393]::query_impl::check_mod_type_wf::dynamic_query::{closure#2}::{closure#0}, rustc_middle[8f648b1898e8f992]::query::erase::Erased<[u8; 1usize]>>
  31:     0x7ff58dfa9b7b - rustc_query_system[341f49cf1150f7a3]::query::plumbing::try_execute_query::<rustc_query_impl[c116a7b28af8393]::DynamicConfig<rustc_query_system[341f49cf1150f7a3]::query::caches::DefaultCache<rustc_span[81f30c4e05e9bbfa]::def_id::LocalModDefId, rustc_middle[8f648b1898e8f992]::query::erase::Erased<[u8; 1usize]>>, false, false, false>, rustc_query_impl[c116a7b28af8393]::plumbing::QueryCtxt, true>
  32:     0x7ff58dfaa64f - rustc_query_impl[c116a7b28af8393]::query_impl::check_mod_type_wf::get_query_incr::__rust_end_short_backtrace
  33:     0x7ff58d2d4240 - rustc_hir_analysis[4f841bd3f24bbd33]::check_crate
  34:     0x7ff58d91eab7 - rustc_interface[2a1066e4df123d40]::passes::run_required_analyses
  35:     0x7ff58dfab99e - rustc_interface[2a1066e4df123d40]::passes::analysis
  36:     0x7ff58dfab975 - rustc_query_impl[c116a7b28af8393]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[c116a7b28af8393]::query_impl::analysis::dynamic_query::{closure#2}::{closure#0}, rustc_middle[8f648b1898e8f992]::query::erase::Erased<[u8; 0usize]>>
  37:     0x7ff58dfa6584 - rustc_query_system[341f49cf1150f7a3]::query::plumbing::try_execute_query::<rustc_query_impl[c116a7b28af8393]::DynamicConfig<rustc_query_system[341f49cf1150f7a3]::query::caches::SingleCache<rustc_middle[8f648b1898e8f992]::query::erase::Erased<[u8; 0usize]>>, false, false, false>, rustc_query_impl[c116a7b28af8393]::plumbing::QueryCtxt, true>
  38:     0x7ff58dfa5ea8 - rustc_query_impl[c116a7b28af8393]::query_impl::analysis::get_query_incr::__rust_end_short_backtrace
  39:     0x7ff58e2149c7 - rustc_interface[2a1066e4df123d40]::passes::create_and_enter_global_ctxt::<core[ee896a018689144d]::option::Option<rustc_interface[2a1066e4df123d40]::queries::Linker>, rustc_driver_impl[817478e824aa827]::run_compiler::{closure#0}::{closure#2}>::{closure#2}::{closure#0}
  40:     0x7ff58e101ea6 - rustc_interface[2a1066e4df123d40]::interface::run_compiler::<(), rustc_driver_impl[817478e824aa827]::run_compiler::{closure#0}>::{closure#1}
  41:     0x7ff58e0b62be - std[7cad246a9e76d988]::sys::backtrace::__rust_begin_short_backtrace::<rustc_interface[2a1066e4df123d40]::util::run_in_thread_with_globals<rustc_interface[2a1066e4df123d40]::util::run_in_thread_pool_with_globals<rustc_interface[2a1066e4df123d40]::interface::run_compiler<(), rustc_driver_impl[817478e824aa827]::run_compiler::{closure#0}>::{closure#1}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>
  42:     0x7ff58e0b672b - <<std[7cad246a9e76d988]::thread::Builder>::spawn_unchecked_<rustc_interface[2a1066e4df123d40]::util::run_in_thread_with_globals<rustc_interface[2a1066e4df123d40]::util::run_in_thread_pool_with_globals<rustc_interface[2a1066e4df123d40]::interface::run_compiler<(), rustc_driver_impl[817478e824aa827]::run_compiler::{closure#0}>::{closure#1}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>::{closure#1} as core[ee896a018689144d]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
  43:     0x7ff58e0b7b2b - std::sys::pal::unix::thread::Thread::new::thread_start::h211a36f354245501
  44:     0x7ff587e96144 - <unknown>
  45:     0x7ff587f167dc - <unknown>
  46:                0x0 - <unknown>


rustc version: 1.89.0-nightly (414482f6a 2025-05-13)
platform: x86_64-unknown-linux-gnu

query stack during panic:
#0 [param_env] computing normalized predicates of `Handler`
#1 [check_well_formed] checking that `Handler` is well-formed
#2 [check_mod_type_wf] checking that types are well-formed in top-level module
#3 [analysis] running analysis passes on this crate
end of query stack

@dpytaylo dpytaylo 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. labels May 14, 2025
@rustbot rustbot added the needs-triage This issue may need triage. Remove it if it has been sufficiently triaged. label May 14, 2025
@moxian
Copy link
Contributor

moxian commented May 14, 2025 •
edited
Loading

Bisects to #140549 ; cc @BoxyUwU
@rustbot label: +S-has-mcve +S-has-bisection +F-min_generic_const_args -needs-triage +requires-incomplete-features

@rustbot
Copy link
Collaborator

rustbot commented May 14, 2025

Unknown labels: requires-incompelte-features

@rustbot rustbot added F-min_generic_const_args `#![feature(min_generic_const_args)]` requires-incomplete-features This issue requires the use of incomplete features. S-has-bisection Status: A bisection has been found for this issue S-has-mcve Status: A Minimal Complete and Verifiable Example has been found for this issue and removed needs-triage This issue may need triage. Remove it if it has been sufficiently triaged. labels May 14, 2025
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-min_generic_const_args `#![feature(min_generic_const_args)]` I-ICE Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️ requires-incomplete-features This issue requires the use of incomplete features. S-has-bisection Status: A bisection has been found for this issue S-has-mcve Status: A Minimal Complete and Verifiable Example has been found for this issue T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@moxian @dpytaylo @rustbot