Skip to content

ICE: Panic in typeck with generic_const_items and impl Trait associated const equality #151631

Closed
#152040
Closed
ICE: Panic in typeck with generic_const_items and impl Trait associated const equality#151631
#152040
Labels
C-bugCategory: This is a bug.F-generic_const_items`#![feature(generic_const_items)]`F-min_generic_const_args`#![feature(min_generic_const_args)]`I-ICEIssue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️S-has-mcveStatus: A Minimal Complete and Verifiable Example has been found for this issueT-compilerRelevant to the compiler team, which will review and decide on the PR/issue.
@elimayano

Description

@elimayano
elimayano
opened on Jan 25, 2026

This issue is similar to #151477, but this one seems to involve a different query stack, so I’m not sure whether it is a duplicate of it.

I tried this code:

//@compile-flags: -Znext-solver=globally
#![feature(generic_const_items, min_generic_const_args)]
#![feature(adt_const_params)]

trait Owner: NewTrait {
    #[type_const]
    const C<const N: u32>: u32;
    #[type_const]
    const K<const N: u32>: u32;
}
trait NewTrait {}
impl Owner for () {
    #[type_const]
    const C<const N: u32>: u32 = N;
    #[type_const]
    const K<const N: u32>: u32 = const { 99 + 1 };
}

fn take0<const N: u32>(_: impl Owner<C<N> = { N }>) {}
fn take1(_: impl Owner<K<99> = 100>) {}
#[derive(PartialEq, Eq, std::marker::ConstParamTy)]
enum Maybe<T> {
    Nothing,
    Just(T),
}

fn main() {
    take0::<128>(());
    take1(());
}

Meta

rustc --version --verbose:

rustc 1.95.0-nightly (d222ddc4d 2026-01-23)
binary: rustc
commit-hash: d222ddc4d90743dfc1e53b610be8fc9d95893d2c
commit-date: 2026-01-23
host: x86_64-unknown-linux-gnu
release: 1.95.0-nightly
LLVM version: 21.1.8
Backtrace 

thread 'rustc' panicked at /rustc-dev/d222ddc4d90743dfc1e53b610be8fc9d95893d2c/compiler/rustc_hir_typeck/src/lib.rs:124:9:
Box<dyn Any>
stack backtrace:
   0:     0x7f360b8091db - <std[f475c8dea6bc1f1c]::backtrace::Backtrace>::create
   1:     0x7f360b809125 - <std[f475c8dea6bc1f1c]::backtrace::Backtrace>::force_capture
   2:     0x7f360a80ac6a - std[f475c8dea6bc1f1c]::panicking::update_hook::<alloc[cd9c1527bed1fc96]::boxed::Box<rustc_driver_impl[5f67874deb35e28a]::install_ice_hook::{closure#1}>>::{closure#0}
   3:     0x7f360b81bb62 - std[f475c8dea6bc1f1c]::panicking::panic_with_hook
   4:     0x7f360a83ea61 - std[f475c8dea6bc1f1c]::panicking::begin_panic::<rustc_errors[2cc469b56d7ff1c9]::ExplicitBug>::{closure#0}
   5:     0x7f360a837776 - std[f475c8dea6bc1f1c]::sys::backtrace::__rust_end_short_backtrace::<std[f475c8dea6bc1f1c]::panicking::begin_panic<rustc_errors[2cc469b56d7ff1c9]::ExplicitBug>::{closure#0}, !>
   6:     0x7f360a8374ea - std[f475c8dea6bc1f1c]::panicking::begin_panic::<rustc_errors[2cc469b56d7ff1c9]::ExplicitBug>
   7:     0x7f360a849bd1 - <rustc_errors[2cc469b56d7ff1c9]::diagnostic::BugAbort as rustc_errors[2cc469b56d7ff1c9]::diagnostic::EmissionGuarantee>::emit_producing_guarantee
   8:     0x7f360adcf24c - <rustc_errors[2cc469b56d7ff1c9]::DiagCtxtHandle>::span_bug::<rustc_span[ddbbc3270fa539b]::span_encoding::Span, alloc[cd9c1527bed1fc96]::string::String>
   9:     0x7f360adf74b6 - rustc_middle[323d677696c3953f]::util::bug::opt_span_bug_fmt::<rustc_span[ddbbc3270fa539b]::span_encoding::Span>::{closure#0}
  10:     0x7f360adf7662 - rustc_middle[323d677696c3953f]::ty::context::tls::with_opt::<rustc_middle[323d677696c3953f]::util::bug::opt_span_bug_fmt<rustc_span[ddbbc3270fa539b]::span_encoding::Span>::{closure#0}, !>::{closure#0}
  11:     0x7f360ade875b - rustc_middle[323d677696c3953f]::ty::context::tls::with_context_opt::<rustc_middle[323d677696c3953f]::ty::context::tls::with_opt<rustc_middle[323d677696c3953f]::util::bug::opt_span_bug_fmt<rustc_span[ddbbc3270fa539b]::span_encoding::Span>::{closure#0}, !>::{closure#0}, !>
  12:     0x7f36086a04a8 - rustc_middle[323d677696c3953f]::util::bug::span_bug_fmt::<rustc_span[ddbbc3270fa539b]::span_encoding::Span>
  13:     0x7f360941b44b - rustc_hir_typeck[abd9435c796a8ed5]::typeck_with_inspect::{closure#0}::{closure#0}
  14:     0x7f360cb9ae66 - rustc_hir_typeck[abd9435c796a8ed5]::typeck_with_inspect::{closure#0}
  15:     0x7f360cb955f8 - rustc_query_impl[bf9f47c0be6c5cea]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[bf9f47c0be6c5cea]::query_impl::typeck::dynamic_query::{closure#2}::{closure#0}, rustc_middle[323d677696c3953f]::query::erase::Erased<[u8; 8usize]>>
  16:     0x7f360bf8776a - rustc_query_system[c53c5369b4d54c12]::query::plumbing::try_execute_query::<rustc_query_impl[bf9f47c0be6c5cea]::DynamicConfig<rustc_data_structures[169de96c3a3bf2b5]::vec_cache::VecCache<rustc_span[ddbbc3270fa539b]::def_id::LocalDefId, rustc_middle[323d677696c3953f]::query::erase::Erased<[u8; 8usize]>, rustc_query_system[c53c5369b4d54c12]::dep_graph::graph::DepNodeIndex>, false, false, false>, rustc_query_impl[bf9f47c0be6c5cea]::plumbing::QueryCtxt, false>
  17:     0x7f360bf87049 - rustc_query_impl[bf9f47c0be6c5cea]::query_impl::typeck::get_query_non_incr::__rust_end_short_backtrace
  18:     0x7f360c2d1f42 - rustc_mir_build[b28a5b4b5f4219cd]::thir::pattern::check_match::check_match
  19:     0x7f360c2d1309 - rustc_query_impl[bf9f47c0be6c5cea]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[bf9f47c0be6c5cea]::query_impl::check_match::dynamic_query::{closure#2}::{closure#0}, rustc_middle[323d677696c3953f]::query::erase::Erased<[u8; 1usize]>>
  20:     0x7f360c5f60f8 - rustc_query_system[c53c5369b4d54c12]::query::plumbing::try_execute_query::<rustc_query_impl[bf9f47c0be6c5cea]::DynamicConfig<rustc_data_structures[169de96c3a3bf2b5]::vec_cache::VecCache<rustc_span[ddbbc3270fa539b]::def_id::LocalDefId, rustc_middle[323d677696c3953f]::query::erase::Erased<[u8; 1usize]>, rustc_query_system[c53c5369b4d54c12]::dep_graph::graph::DepNodeIndex>, false, false, false>, rustc_query_impl[bf9f47c0be6c5cea]::plumbing::QueryCtxt, false>
  21:     0x7f360c5f5dbd - rustc_query_impl[bf9f47c0be6c5cea]::query_impl::check_match::get_query_non_incr::__rust_end_short_backtrace
  22:     0x7f360c1971e5 - rustc_mir_build[b28a5b4b5f4219cd]::builder::build_mir_inner_impl
  23:     0x7f360be08d6a - rustc_mir_transform[c6a2805012318f3e]::mir_built
  24:     0x7f360be08d25 - rustc_query_impl[bf9f47c0be6c5cea]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[bf9f47c0be6c5cea]::query_impl::mir_built::dynamic_query::{closure#2}::{closure#0}, rustc_middle[323d677696c3953f]::query::erase::Erased<[u8; 8usize]>>
  25:     0x7f360bf8776a - rustc_query_system[c53c5369b4d54c12]::query::plumbing::try_execute_query::<rustc_query_impl[bf9f47c0be6c5cea]::DynamicConfig<rustc_data_structures[169de96c3a3bf2b5]::vec_cache::VecCache<rustc_span[ddbbc3270fa539b]::def_id::LocalDefId, rustc_middle[323d677696c3953f]::query::erase::Erased<[u8; 8usize]>, rustc_query_system[c53c5369b4d54c12]::dep_graph::graph::DepNodeIndex>, false, false, false>, rustc_query_impl[bf9f47c0be6c5cea]::plumbing::QueryCtxt, false>
  26:     0x7f360bf871c9 - rustc_query_impl[bf9f47c0be6c5cea]::query_impl::mir_built::get_query_non_incr::__rust_end_short_backtrace
  27:     0x7f360bf79dc1 - rustc_query_impl[bf9f47c0be6c5cea]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[bf9f47c0be6c5cea]::query_impl::trivial_const::dynamic_query::{closure#2}::{closure#0}, rustc_middle[323d677696c3953f]::query::erase::Erased<[u8; 32usize]>>
  28:     0x7f360bf77657 - rustc_query_system[c53c5369b4d54c12]::query::plumbing::try_execute_query::<rustc_query_impl[bf9f47c0be6c5cea]::DynamicConfig<rustc_query_system[c53c5369b4d54c12]::query::caches::DefIdCache<rustc_middle[323d677696c3953f]::query::erase::Erased<[u8; 32usize]>>, false, false, false>, rustc_query_impl[bf9f47c0be6c5cea]::plumbing::QueryCtxt, false>
  29:     0x7f360bf76ee0 - rustc_query_impl[bf9f47c0be6c5cea]::query_impl::trivial_const::get_query_non_incr::__rust_end_short_backtrace
  30:     0x7f360cea115d - rustc_const_eval[5bafb0826f006450]::const_eval::eval_queries::eval_to_allocation_raw_provider
  31:     0x7f360ce9e182 - rustc_query_impl[bf9f47c0be6c5cea]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[bf9f47c0be6c5cea]::query_impl::eval_to_allocation_raw::dynamic_query::{closure#2}::{closure#0}, rustc_middle[323d677696c3953f]::query::erase::Erased<[u8; 24usize]>>
  32:     0x7f360ce9d4a5 - rustc_query_system[c53c5369b4d54c12]::query::plumbing::try_execute_query::<rustc_query_impl[bf9f47c0be6c5cea]::DynamicConfig<rustc_query_system[c53c5369b4d54c12]::query::caches::DefaultCache<rustc_middle[323d677696c3953f]::ty::PseudoCanonicalInput<rustc_middle[323d677696c3953f]::mir::interpret::GlobalId>, rustc_middle[323d677696c3953f]::query::erase::Erased<[u8; 24usize]>>, false, false, false>, rustc_query_impl[bf9f47c0be6c5cea]::plumbing::QueryCtxt, false>
  33:     0x7f360ce9d049 - rustc_query_impl[bf9f47c0be6c5cea]::query_impl::eval_to_allocation_raw::get_query_non_incr::__rust_end_short_backtrace
  34:     0x7f360c2e9605 - rustc_const_eval[5bafb0826f006450]::const_eval::valtrees::eval_to_valtree
  35:     0x7f360c2e93b6 - <rustc_const_eval[5bafb0826f006450]::provide::{closure#0} as core[61603b96a07b8ff9]::ops::function::FnOnce<(rustc_middle[323d677696c3953f]::ty::context::TyCtxt, rustc_middle[323d677696c3953f]::ty::PseudoCanonicalInput<rustc_middle[323d677696c3953f]::mir::interpret::GlobalId>)>>::call_once
  36:     0x7f360c2e9380 - rustc_query_impl[bf9f47c0be6c5cea]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[bf9f47c0be6c5cea]::query_impl::eval_to_valtree::dynamic_query::{closure#2}::{closure#0}, rustc_middle[323d677696c3953f]::query::erase::Erased<[u8; 16usize]>>
  37:     0x7f360c2e933b - <rustc_query_impl[bf9f47c0be6c5cea]::query_impl::eval_to_valtree::dynamic_query::{closure#2} as core[61603b96a07b8ff9]::ops::function::FnOnce<(rustc_middle[323d677696c3953f]::ty::context::TyCtxt, rustc_middle[323d677696c3953f]::ty::PseudoCanonicalInput<rustc_middle[323d677696c3953f]::mir::interpret::GlobalId>)>>::call_once
  38:     0x7f360ca6da86 - rustc_query_system[c53c5369b4d54c12]::query::plumbing::try_execute_query::<rustc_query_impl[bf9f47c0be6c5cea]::DynamicConfig<rustc_query_system[c53c5369b4d54c12]::query::caches::DefaultCache<rustc_middle[323d677696c3953f]::ty::PseudoCanonicalInput<rustc_middle[323d677696c3953f]::mir::interpret::GlobalId>, rustc_middle[323d677696c3953f]::query::erase::Erased<[u8; 16usize]>>, false, false, false>, rustc_query_impl[bf9f47c0be6c5cea]::plumbing::QueryCtxt, false>
  39:     0x7f360ca6d6b0 - rustc_query_impl[bf9f47c0be6c5cea]::query_impl::eval_to_valtree::get_query_non_incr::__rust_end_short_backtrace
  40:     0x7f3608bede05 - <rustc_middle[323d677696c3953f]::ty::context::TyCtxt>::const_eval_resolve_for_typeck
  41:     0x7f360c09e696 - rustc_trait_selection[757bd25c1da00447]::traits::try_evaluate_const
  42:     0x7f360d4d01d6 - <rustc_trait_selection[757bd25c1da00447]::solve::delegate::SolverDelegate as rustc_next_trait_solver[d3189b9d374fc12e]::delegate::SolverDelegate>::evaluate_const
  43:     0x7f360b5c524a - <rustc_next_trait_solver[d3189b9d374fc12e]::solve::eval_ctxt::EvalCtxt<rustc_trait_selection[757bd25c1da00447]::solve::delegate::SolverDelegate, rustc_middle[323d677696c3953f]::ty::context::TyCtxt>>::compute_const_evaluatable_goal
  44:     0x7f360cc885bb - <rustc_next_trait_solver[d3189b9d374fc12e]::solve::search_graph::SearchGraphDelegate<rustc_trait_selection[757bd25c1da00447]::solve::delegate::SolverDelegate> as rustc_type_ir[1c38f7d4a599027a]::search_graph::Delegate>::compute_goal::{closure#0}
  45:     0x7f360cc85459 - <rustc_type_ir[1c38f7d4a599027a]::search_graph::SearchGraph<rustc_next_trait_solver[d3189b9d374fc12e]::solve::search_graph::SearchGraphDelegate<rustc_trait_selection[757bd25c1da00447]::solve::delegate::SolverDelegate>, rustc_middle[323d677696c3953f]::ty::context::TyCtxt>>::evaluate_goal_in_task
  46:     0x7f360c9c8bd1 - rustc_trait_selection[757bd25c1da00447]::solve::evaluate_root_goal_for_proof_tree_raw
  47:     0x7f360c9c89ff - rustc_query_impl[bf9f47c0be6c5cea]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[bf9f47c0be6c5cea]::query_impl::evaluate_root_goal_for_proof_tree_raw::dynamic_query::{closure#2}::{closure#0}, rustc_middle[323d677696c3953f]::query::erase::Erased<[u8; 48usize]>>
  48:     0x7f360c9c89b7 - <rustc_query_impl[bf9f47c0be6c5cea]::query_impl::evaluate_root_goal_for_proof_tree_raw::dynamic_query::{closure#2} as core[61603b96a07b8ff9]::ops::function::FnOnce<(rustc_middle[323d677696c3953f]::ty::context::TyCtxt, rustc_type_ir[1c38f7d4a599027a]::canonical::CanonicalQueryInput<rustc_middle[323d677696c3953f]::ty::context::TyCtxt, rustc_type_ir[1c38f7d4a599027a]::solve::QueryInput<rustc_middle[323d677696c3953f]::ty::context::TyCtxt, rustc_middle[323d677696c3953f]::ty::predicate::Predicate>>)>>::call_once
  49:     0x7f360c9c7cb1 - rustc_query_system[c53c5369b4d54c12]::query::plumbing::try_execute_query::<rustc_query_impl[bf9f47c0be6c5cea]::DynamicConfig<rustc_query_system[c53c5369b4d54c12]::query::caches::DefaultCache<rustc_type_ir[1c38f7d4a599027a]::canonical::CanonicalQueryInput<rustc_middle[323d677696c3953f]::ty::context::TyCtxt, rustc_type_ir[1c38f7d4a599027a]::solve::QueryInput<rustc_middle[323d677696c3953f]::ty::context::TyCtxt, rustc_middle[323d677696c3953f]::ty::predicate::Predicate>>, rustc_middle[323d677696c3953f]::query::erase::Erased<[u8; 48usize]>>, false, false, false>, rustc_query_impl[bf9f47c0be6c5cea]::plumbing::QueryCtxt, false>
  50:     0x7f360c9c7902 - rustc_query_impl[bf9f47c0be6c5cea]::query_impl::evaluate_root_goal_for_proof_tree_raw::get_query_non_incr::__rust_end_short_backtrace
  51:     0x7f360c9c7801 - <rustc_middle[323d677696c3953f]::ty::context::TyCtxt as rustc_type_ir[1c38f7d4a599027a]::interner::Interner>::evaluate_root_goal_for_proof_tree_raw
  52:     0x7f360c9c69b0 - <rustc_trait_selection[757bd25c1da00447]::solve::delegate::SolverDelegate as rustc_next_trait_solver[d3189b9d374fc12e]::solve::eval_ctxt::SolverDelegateEvalExt>::evaluate_root_goal_for_proof_tree
  53:     0x7f360d024a96 - <rustc_trait_selection[757bd25c1da00447]::solve::inspect::analyse::InspectCandidate>::instantiate_proof_tree_for_nested_goal
  54:     0x7f360d020d88 - <rustc_trait_selection[757bd25c1da00447]::solve::fulfill::derive_errors::BestObligation as rustc_trait_selection[757bd25c1da00447]::solve::inspect::analyse::ProofTreeVisitor>::visit_goal
  55:     0x7f360d01f6f0 - <rustc_infer[fd6bda633a804e8e]::infer::InferCtxt as rustc_trait_selection[757bd25c1da00447]::solve::inspect::analyse::InferCtxtProofTreeExt>::visit_proof_tree_at_depth::<rustc_trait_selection[757bd25c1da00447]::solve::fulfill::derive_errors::BestObligation>
  56:     0x7f360d01fe6e - <rustc_trait_selection[757bd25c1da00447]::solve::fulfill::derive_errors::BestObligation as rustc_trait_selection[757bd25c1da00447]::solve::inspect::analyse::ProofTreeVisitor>::visit_goal
  57:     0x7f360d01fc93 - <rustc_trait_selection[757bd25c1da00447]::solve::fulfill::derive_errors::BestObligation as rustc_trait_selection[757bd25c1da00447]::solve::inspect::analyse::ProofTreeVisitor>::visit_goal
  58:     0x7f360d01f6f0 - <rustc_infer[fd6bda633a804e8e]::infer::InferCtxt as rustc_trait_selection[757bd25c1da00447]::solve::inspect::analyse::InferCtxtProofTreeExt>::visit_proof_tree_at_depth::<rustc_trait_selection[757bd25c1da00447]::solve::fulfill::derive_errors::BestObligation>
  59:     0x7f360c91aafb - rustc_trait_selection[757bd25c1da00447]::solve::fulfill::derive_errors::find_best_leaf_obligation
  60:     0x7f360d259a2b - <rustc_trait_selection[757bd25c1da00447]::traits::FulfillmentError as rustc_infer[fd6bda633a804e8e]::traits::engine::FromSolverError<rustc_trait_selection[757bd25c1da00447]::solve::fulfill::NextSolverError>>::from_solver_error
  61:     0x7f360c9ae53f - <rustc_trait_selection[757bd25c1da00447]::solve::fulfill::FulfillmentCtxt<rustc_trait_selection[757bd25c1da00447]::traits::FulfillmentError> as rustc_infer[fd6bda633a804e8e]::traits::engine::TraitEngine<rustc_trait_selection[757bd25c1da00447]::traits::FulfillmentError>>::try_evaluate_obligations
  62:     0x7f360c2705e0 - <rustc_hir_typeck[abd9435c796a8ed5]::fn_ctxt::FnCtxt>::check_expr_call
  63:     0x7f360c254f78 - <rustc_hir_typeck[abd9435c796a8ed5]::fn_ctxt::FnCtxt>::check_expr_with_expectation_and_args
  64:     0x7f360c2500cf - <rustc_hir_typeck[abd9435c796a8ed5]::fn_ctxt::FnCtxt>::check_expr_block
  65:     0x7f360c254f53 - <rustc_hir_typeck[abd9435c796a8ed5]::fn_ctxt::FnCtxt>::check_expr_with_expectation_and_args
  66:     0x7f360c2205a0 - rustc_hir_typeck[abd9435c796a8ed5]::check::check_fn
  67:     0x7f360cb96c75 - rustc_hir_typeck[abd9435c796a8ed5]::typeck_with_inspect::{closure#0}
  68:     0x7f360cb955f8 - rustc_query_impl[bf9f47c0be6c5cea]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[bf9f47c0be6c5cea]::query_impl::typeck::dynamic_query::{closure#2}::{closure#0}, rustc_middle[323d677696c3953f]::query::erase::Erased<[u8; 8usize]>>
  69:     0x7f360bf8776a - rustc_query_system[c53c5369b4d54c12]::query::plumbing::try_execute_query::<rustc_query_impl[bf9f47c0be6c5cea]::DynamicConfig<rustc_data_structures[169de96c3a3bf2b5]::vec_cache::VecCache<rustc_span[ddbbc3270fa539b]::def_id::LocalDefId, rustc_middle[323d677696c3953f]::query::erase::Erased<[u8; 8usize]>, rustc_query_system[c53c5369b4d54c12]::dep_graph::graph::DepNodeIndex>, false, false, false>, rustc_query_impl[bf9f47c0be6c5cea]::plumbing::QueryCtxt, false>
  70:     0x7f360bf87049 - rustc_query_impl[bf9f47c0be6c5cea]::query_impl::typeck::get_query_non_incr::__rust_end_short_backtrace
  71:     0x7f360ca5bb2d - <rustc_middle[323d677696c3953f]::ty::context::TyCtxt>::par_hir_body_owners::<rustc_hir_analysis[ae5f01f7b13d6b97]::check_crate::{closure#2}>::{closure#0}
  72:     0x7f360ca5b522 - rustc_hir_analysis[ae5f01f7b13d6b97]::check_crate
  73:     0x7f360bf8121b - rustc_interface[64e9028641784d78]::passes::analysis
  74:     0x7f360bf80e65 - rustc_query_impl[bf9f47c0be6c5cea]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[bf9f47c0be6c5cea]::query_impl::analysis::dynamic_query::{closure#2}::{closure#0}, rustc_middle[323d677696c3953f]::query::erase::Erased<[u8; 0usize]>>
  75:     0x7f360cf6f751 - rustc_query_system[c53c5369b4d54c12]::query::plumbing::try_execute_query::<rustc_query_impl[bf9f47c0be6c5cea]::DynamicConfig<rustc_query_system[c53c5369b4d54c12]::query::caches::SingleCache<rustc_middle[323d677696c3953f]::query::erase::Erased<[u8; 0usize]>>, false, false, false>, rustc_query_impl[bf9f47c0be6c5cea]::plumbing::QueryCtxt, false>
  76:     0x7f360cf6f53c - rustc_query_impl[bf9f47c0be6c5cea]::query_impl::analysis::get_query_non_incr::__rust_end_short_backtrace
  77:     0x7f360d1554d4 - <rustc_interface[64e9028641784d78]::passes::create_and_enter_global_ctxt<core[61603b96a07b8ff9]::option::Option<rustc_interface[64e9028641784d78]::queries::Linker>, rustc_driver_impl[5f67874deb35e28a]::run_compiler::{closure#0}::{closure#2}>::{closure#2} as core[61603b96a07b8ff9]::ops::function::FnOnce<(&rustc_session[80cc42b19f2be7ae]::session::Session, rustc_middle[323d677696c3953f]::ty::context::CurrentGcx, alloc[cd9c1527bed1fc96]::sync::Arc<rustc_data_structures[169de96c3a3bf2b5]::jobserver::Proxy>, &std[f475c8dea6bc1f1c]::sync::once_lock::OnceLock<rustc_middle[323d677696c3953f]::ty::context::GlobalCtxt>, &rustc_data_structures[169de96c3a3bf2b5]::sync::worker_local::WorkerLocal<rustc_middle[323d677696c3953f]::arena::Arena>, &rustc_data_structures[169de96c3a3bf2b5]::sync::worker_local::WorkerLocal<rustc_hir[efbd91fb3c2f0b84]::Arena>, rustc_driver_impl[5f67874deb35e28a]::run_compiler::{closure#0}::{closure#2})>>::call_once::{shim:vtable#0}
  78:     0x7f360cf8350f - rustc_interface[64e9028641784d78]::interface::run_compiler::<(), rustc_driver_impl[5f67874deb35e28a]::run_compiler::{closure#0}>::{closure#1}
  79:     0x7f360cfe16be - std[f475c8dea6bc1f1c]::sys::backtrace::__rust_begin_short_backtrace::<rustc_interface[64e9028641784d78]::util::run_in_thread_with_globals<rustc_interface[64e9028641784d78]::util::run_in_thread_pool_with_globals<rustc_interface[64e9028641784d78]::interface::run_compiler<(), rustc_driver_impl[5f67874deb35e28a]::run_compiler::{closure#0}>::{closure#1}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>
  80:     0x7f360cfe1be0 - <std[f475c8dea6bc1f1c]::thread::lifecycle::spawn_unchecked<rustc_interface[64e9028641784d78]::util::run_in_thread_with_globals<rustc_interface[64e9028641784d78]::util::run_in_thread_pool_with_globals<rustc_interface[64e9028641784d78]::interface::run_compiler<(), rustc_driver_impl[5f67874deb35e28a]::run_compiler::{closure#0}>::{closure#1}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>::{closure#1} as core[61603b96a07b8ff9]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
  81:     0x7f360cfe2a6c - <std[f475c8dea6bc1f1c]::sys::thread::unix::Thread>::new::thread_start
  82:     0x7f3606894ac3 - start_thread
                               at ./nptl/pthread_create.c:442:8
  83:     0x7f36069268c0 - __GI___clone3
                               at ./misc/../sysdeps/unix/sysv/linux/x86_64/clone3.S:81:0
  84:                0x0 - <unknown>


rustc version: 1.95.0-nightly (d222ddc4d 2026-01-23)
platform: x86_64-unknown-linux-gnu

query stack during panic:
#0 [typeck] type-checking `<impl at bug.rs:11:1: 11:18>::K`
#1 [check_match] match-checking `<impl at bug.rs:11:1: 11:18>::K`
#2 [mir_built] building MIR for `<impl at bug.rs:11:1: 11:18>::K`
#3 [trivial_const] checking if `<impl at bug.rs:11:1: 11:18>::K` is a trivial const
#4 [eval_to_allocation_raw] const-evaluating + checking `<impl at bug.rs:11:1: 11:18>::K`
#5 [eval_to_valtree] evaluating type-level constant
#6 [evaluate_root_goal_for_proof_tree_raw] computing proof tree for `the constant `<() as Owner>::K::<ValTree(Leaf(0x00000063): u32)>` can be evaluated`
#7 [typeck] type-checking `main`
#8 [analysis] running analysis passes on crate `bug`
end of query stack

Metadata

Metadata

Assignees

No one assigned

    Labels

    C-bugCategory: This is a bug.F-generic_const_items`#![feature(generic_const_items)]`F-min_generic_const_args`#![feature(min_generic_const_args)]`I-ICEIssue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️S-has-mcveStatus: A Minimal Complete and Verifiable Example has been found for this issueT-compilerRelevant to the compiler team, which will review and decide on the PR/issue.

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    Associated Const Equality (ACE)

    Status

    Done

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions