Skip to content

ICE : potentially unconstrained type parameters weren't evaluated #146906

@matthiaskrgr

Description

@matthiaskrgr

snippet:

//@compile-flags: --crate-type=lib #![feature(min_generic_const_args)] trait Trait {} impl Trait for [(); N] {} fn N(f: impl FnOnce(f64) -> f64 + Trait) {}

Version information

rustc 1.92.0-nightly (ce4beebec 2025-09-22) binary: rustc commit-hash: ce4beebecb77821734079cff47d8af08f9f27f11 commit-date: 2025-09-22 host: x86_64-unknown-linux-gnu release: 1.92.0-nightly LLVM version: 21.1.1 

Command:
/home/matthias/.rustup/toolchains/master/bin/rustc -Zcrate-attr=feature(min_generic_const_args) --crate-type=lib

Program output

warning: the feature `min_generic_const_args` is incomplete and may not be safe to use and/or cause compiler crashes --> <crate attribute>: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 warning: unused variable: `f` --> /tmp/icemaker_global_tempdir.G0lWgRUN973R/rustc_testrunner_tmpdir_reporting.GUX3wUuUpXCm/mvce.rs:4:6 | 4 | fn N(f: impl FnOnce(f64) -> f64 + Trait) {} | ^ help: if this is intentional, prefix it with an underscore: `_f` | = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default warning: trait `Trait` is never used --> /tmp/icemaker_global_tempdir.G0lWgRUN973R/rustc_testrunner_tmpdir_reporting.GUX3wUuUpXCm/mvce.rs:1:7 | 1 | trait Trait {} | ^^^^^ | = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default warning: function `N` is never used --> /tmp/icemaker_global_tempdir.G0lWgRUN973R/rustc_testrunner_tmpdir_reporting.GUX3wUuUpXCm/mvce.rs:4:4 | 4 | fn N(f: impl FnOnce(f64) -> f64 + Trait) {} | ^ warning: function `N` should have a snake case name --> /tmp/icemaker_global_tempdir.G0lWgRUN973R/rustc_testrunner_tmpdir_reporting.GUX3wUuUpXCm/mvce.rs:4:4 | 4 | fn N(f: impl FnOnce(f64) -> f64 + Trait) {} | ^ help: convert the identifier to snake case: `n` | = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default warning: 5 warnings emitted note: no errors encountered even though delayed bugs were created note: those delayed bugs will now be shown as internal compiler errors error: internal compiler error: function items cannot be used as const args --> /tmp/icemaker_global_tempdir.G0lWgRUN973R/rustc_testrunner_tmpdir_reporting.GUX3wUuUpXCm/mvce.rs:2:21 | 2 | impl Trait for [(); N] {} | ^ | note: delayed at compiler/rustc_hir_analysis/src/hir_ty_lowering/mod.rs:2261:28 0: <rustc_errors::DiagCtxtInner>::emit_diagnostic 1: <rustc_errors::DiagCtxtHandle>::emit_diagnostic 2: <rustc_span::ErrorGuaranteed as rustc_errors::diagnostic::EmissionGuarantee>::emit_producing_guarantee 3: <rustc_errors::DiagCtxtHandle>::span_delayed_bug::<rustc_span::span_encoding::Span, &str> 4: <dyn rustc_hir_analysis::hir_ty_lowering::HirTyLowerer>::lower_const_arg 5: <dyn rustc_hir_analysis::hir_ty_lowering::HirTyLowerer>::lower_ty::{closure#0} 6: rustc_hir_analysis::collect::type_of::type_of 7: rustc_query_impl::plumbing::__rust_begin_short_backtrace::<rustc_query_impl::query_impl::type_of::dynamic_query::{closure#2}::{closure#0}, rustc_middle::query::erase::Erased<[u8; 8]>> 8: rustc_query_system::query::plumbing::try_execute_query::<rustc_query_impl::DynamicConfig<rustc_query_system::query::caches::DefIdCache<rustc_middle::query::erase::Erased<[u8; 8]>>, false, false, false>, rustc_query_impl::plumbing::QueryCtxt, false> 9: rustc_query_impl::query_impl::type_of::get_query_non_incr::__rust_end_short_backtrace 10: rustc_middle::ty::trait_def::trait_impls_of_provider 11: rustc_query_impl::plumbing::__rust_begin_short_backtrace::<rustc_query_impl::query_impl::trait_impls_of::dynamic_query::{closure#2}::{closure#0}, rustc_middle::query::erase::Erased<[u8; 8]>> 12: rustc_query_system::query::plumbing::try_execute_query::<rustc_query_impl::DynamicConfig<rustc_query_system::query::caches::DefIdCache<rustc_middle::query::erase::Erased<[u8; 8]>>, false, false, false>, rustc_query_impl::plumbing::QueryCtxt, false> 13: rustc_query_impl::query_impl::trait_impls_of::get_query_non_incr::__rust_end_short_backtrace 14: <rustc_trait_selection::traits::select::SelectionContext>::assemble_candidates 15: <rustc_trait_selection::traits::select::SelectionContext>::poly_select::{closure#0} 16: <rustc_trait_selection::traits::fulfill::FulfillProcessor as rustc_data_structures::obligation_forest::ObligationProcessor>::process_obligation 17: <rustc_data_structures::obligation_forest::ObligationForest<rustc_trait_selection::traits::fulfill::PendingPredicateObligation>>::process_obligations::<rustc_trait_selection::traits::fulfill::FulfillProcessor> 18: <rustc_trait_selection::traits::fulfill::FulfillmentContext<rustc_trait_selection::traits::FulfillmentError> as rustc_infer::traits::engine::TraitEngine<rustc_trait_selection::traits::FulfillmentError>>::select_all_or_error 19: rustc_hir_analysis::check::wfcheck::check_trait 20: rustc_hir_analysis::check::check::check_item_type 21: rustc_hir_analysis::check::wfcheck::check_well_formed 22: rustc_query_impl::plumbing::__rust_begin_short_backtrace::<rustc_query_impl::query_impl::check_well_formed::dynamic_query::{closure#2}::{closure#0}, rustc_middle::query::erase::Erased<[u8; 1]>> 23: rustc_query_system::query::plumbing::try_execute_query::<rustc_query_impl::DynamicConfig<rustc_data_structures::vec_cache::VecCache<rustc_span::def_id::LocalDefId, rustc_middle::query::erase::Erased<[u8; 1]>, rustc_query_system::dep_graph::graph::DepNodeIndex>, false, false, false>, rustc_query_impl::plumbing::QueryCtxt, false> 24: rustc_query_impl::query_impl::check_well_formed::get_query_non_incr::__rust_end_short_backtrace 25: rustc_hir_analysis::check::wfcheck::check_type_wf 26: rustc_query_impl::plumbing::__rust_begin_short_backtrace::<rustc_query_impl::query_impl::check_type_wf::dynamic_query::{closure#2}::{closure#0}, rustc_middle::query::erase::Erased<[u8; 1]>> 27: rustc_query_system::query::plumbing::try_execute_query::<rustc_query_impl::DynamicConfig<rustc_query_system::query::caches::SingleCache<rustc_middle::query::erase::Erased<[u8; 1]>>, false, false, false>, rustc_query_impl::plumbing::QueryCtxt, false> 28: rustc_query_impl::query_impl::check_type_wf::get_query_non_incr::__rust_end_short_backtrace 29: rustc_hir_analysis::check_crate 30: rustc_interface::passes::analysis 31: rustc_query_impl::plumbing::__rust_begin_short_backtrace::<rustc_query_impl::query_impl::analysis::dynamic_query::{closure#2}::{closure#0}, rustc_middle::query::erase::Erased<[u8; 0]>> 32: rustc_query_system::query::plumbing::try_execute_query::<rustc_query_impl::DynamicConfig<rustc_query_system::query::caches::SingleCache<rustc_middle::query::erase::Erased<[u8; 0]>>, false, false, false>, rustc_query_impl::plumbing::QueryCtxt, false> 33: rustc_query_impl::query_impl::analysis::get_query_non_incr::__rust_end_short_backtrace 34: rustc_interface::passes::create_and_enter_global_ctxt::<core::option::Option<rustc_interface::queries::Linker>, rustc_driver_impl::run_compiler::{closure#0}::{closure#2}>::{closure#2}::{closure#0} 35: rustc_interface::interface::run_compiler::<(), rustc_driver_impl::run_compiler::{closure#0}>::{closure#1} 36: std::sys::backtrace::__rust_begin_short_backtrace::<rustc_interface::util::run_in_thread_with_globals<rustc_interface::util::run_in_thread_pool_with_globals<rustc_interface::interface::run_compiler<(), rustc_driver_impl::run_compiler::{closure#0}>::{closure#1}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()> 37: <<std::thread::Builder>::spawn_unchecked_<rustc_interface::util::run_in_thread_with_globals<rustc_interface::util::run_in_thread_pool_with_globals<rustc_interface::interface::run_compiler<(), rustc_driver_impl::run_compiler::{closure#0}>::{closure#1}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>::{closure#1} as core::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} 38: std::sys::thread::unix::Thread::new::thread_start 39: <unknown> 40: <unknown> --> /tmp/icemaker_global_tempdir.G0lWgRUN973R/rustc_testrunner_tmpdir_reporting.GUX3wUuUpXCm/mvce.rs:2:21 | 2 | impl Trait for [(); N] {} | ^ error: internal compiler error: TyKind::Error constructed but no error reported | = note: delayed at compiler/rustc_hir_analysis/src/hir_ty_lowering/mod.rs:640:29 0: <rustc_errors::DiagCtxtInner>::emit_diagnostic 1: <rustc_errors::DiagCtxtHandle>::emit_diagnostic 2: <rustc_span::ErrorGuaranteed as rustc_errors::diagnostic::EmissionGuarantee>::emit_producing_guarantee 3: <rustc_errors::DiagCtxtHandle>::span_delayed_bug::<rustc_span::span_encoding::Span, &str> 4: <rustc_middle::ty::Ty>::new_misc_error 5: <dyn rustc_hir_analysis::hir_ty_lowering::HirTyLowerer>::lower_generic_args_of_path_segment 6: <dyn rustc_hir_analysis::hir_ty_lowering::HirTyLowerer>::lower_const_arg 7: <dyn rustc_hir_analysis::hir_ty_lowering::HirTyLowerer>::lower_ty::{closure#0} 8: rustc_hir_analysis::collect::type_of::type_of 9: rustc_query_impl::plumbing::__rust_begin_short_backtrace::<rustc_query_impl::query_impl::type_of::dynamic_query::{closure#2}::{closure#0}, rustc_middle::query::erase::Erased<[u8; 8]>> 10: rustc_query_system::query::plumbing::try_execute_query::<rustc_query_impl::DynamicConfig<rustc_query_system::query::caches::DefIdCache<rustc_middle::query::erase::Erased<[u8; 8]>>, false, false, false>, rustc_query_impl::plumbing::QueryCtxt, false> 11: rustc_query_impl::query_impl::type_of::get_query_non_incr::__rust_end_short_backtrace 12: rustc_middle::ty::trait_def::trait_impls_of_provider 13: rustc_query_impl::plumbing::__rust_begin_short_backtrace::<rustc_query_impl::query_impl::trait_impls_of::dynamic_query::{closure#2}::{closure#0}, rustc_middle::query::erase::Erased<[u8; 8]>> 14: rustc_query_system::query::plumbing::try_execute_query::<rustc_query_impl::DynamicConfig<rustc_query_system::query::caches::DefIdCache<rustc_middle::query::erase::Erased<[u8; 8]>>, false, false, false>, rustc_query_impl::plumbing::QueryCtxt, false> 15: rustc_query_impl::query_impl::trait_impls_of::get_query_non_incr::__rust_end_short_backtrace 16: <rustc_trait_selection::traits::select::SelectionContext>::assemble_candidates 17: <rustc_trait_selection::traits::select::SelectionContext>::poly_select::{closure#0} 18: <rustc_trait_selection::traits::fulfill::FulfillProcessor as rustc_data_structures::obligation_forest::ObligationProcessor>::process_obligation 19: <rustc_data_structures::obligation_forest::ObligationForest<rustc_trait_selection::traits::fulfill::PendingPredicateObligation>>::process_obligations::<rustc_trait_selection::traits::fulfill::FulfillProcessor> 20: <rustc_trait_selection::traits::fulfill::FulfillmentContext<rustc_trait_selection::traits::FulfillmentError> as rustc_infer::traits::engine::TraitEngine<rustc_trait_selection::traits::FulfillmentError>>::select_all_or_error 21: rustc_hir_analysis::check::wfcheck::check_trait 22: rustc_hir_analysis::check::check::check_item_type 23: rustc_hir_analysis::check::wfcheck::check_well_formed 24: rustc_query_impl::plumbing::__rust_begin_short_backtrace::<rustc_query_impl::query_impl::check_well_formed::dynamic_query::{closure#2}::{closure#0}, rustc_middle::query::erase::Erased<[u8; 1]>> 25: rustc_query_system::query::plumbing::try_execute_query::<rustc_query_impl::DynamicConfig<rustc_data_structures::vec_cache::VecCache<rustc_span::def_id::LocalDefId, rustc_middle::query::erase::Erased<[u8; 1]>, rustc_query_system::dep_graph::graph::DepNodeIndex>, false, false, false>, rustc_query_impl::plumbing::QueryCtxt, false> 26: rustc_query_impl::query_impl::check_well_formed::get_query_non_incr::__rust_end_short_backtrace 27: rustc_hir_analysis::check::wfcheck::check_type_wf 28: rustc_query_impl::plumbing::__rust_begin_short_backtrace::<rustc_query_impl::query_impl::check_type_wf::dynamic_query::{closure#2}::{closure#0}, rustc_middle::query::erase::Erased<[u8; 1]>> 29: rustc_query_system::query::plumbing::try_execute_query::<rustc_query_impl::DynamicConfig<rustc_query_system::query::caches::SingleCache<rustc_middle::query::erase::Erased<[u8; 1]>>, false, false, false>, rustc_query_impl::plumbing::QueryCtxt, false> 30: rustc_query_impl::query_impl::check_type_wf::get_query_non_incr::__rust_end_short_backtrace 31: rustc_hir_analysis::check_crate 32: rustc_interface::passes::analysis 33: rustc_query_impl::plumbing::__rust_begin_short_backtrace::<rustc_query_impl::query_impl::analysis::dynamic_query::{closure#2}::{closure#0}, rustc_middle::query::erase::Erased<[u8; 0]>> 34: rustc_query_system::query::plumbing::try_execute_query::<rustc_query_impl::DynamicConfig<rustc_query_system::query::caches::SingleCache<rustc_middle::query::erase::Erased<[u8; 0]>>, false, false, false>, rustc_query_impl::plumbing::QueryCtxt, false> 35: rustc_query_impl::query_impl::analysis::get_query_non_incr::__rust_end_short_backtrace 36: rustc_interface::passes::create_and_enter_global_ctxt::<core::option::Option<rustc_interface::queries::Linker>, rustc_driver_impl::run_compiler::{closure#0}::{closure#2}>::{closure#2}::{closure#0} 37: rustc_interface::interface::run_compiler::<(), rustc_driver_impl::run_compiler::{closure#0}>::{closure#1} 38: std::sys::backtrace::__rust_begin_short_backtrace::<rustc_interface::util::run_in_thread_with_globals<rustc_interface::util::run_in_thread_pool_with_globals<rustc_interface::interface::run_compiler<(), rustc_driver_impl::run_compiler::{closure#0}>::{closure#1}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()> 39: <<std::thread::Builder>::spawn_unchecked_<rustc_interface::util::run_in_thread_with_globals<rustc_interface::util::run_in_thread_pool_with_globals<rustc_interface::interface::run_compiler<(), rustc_driver_impl::run_compiler::{closure#0}>::{closure#1}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>::{closure#1} as core::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} 40: std::sys::thread::unix::Thread::new::thread_start 41: <unknown> 42: <unknown> error: internal compiler error: potentially unconstrained type parameters weren't evaluated: [(); N::<{type error}>] --> /tmp/icemaker_global_tempdir.G0lWgRUN973R/rustc_testrunner_tmpdir_reporting.GUX3wUuUpXCm/mvce.rs:2:1 | 2 | impl Trait for [(); N] {} | ^^^^^^^^^^^^^^^^^^^^^^ | note: delayed at compiler/rustc_hir_analysis/src/impl_wf_check.rs:180:19 0: <rustc_errors::DiagCtxtInner>::emit_diagnostic 1: <rustc_errors::DiagCtxtHandle>::emit_diagnostic 2: <rustc_span::ErrorGuaranteed as rustc_errors::diagnostic::EmissionGuarantee>::emit_producing_guarantee 3: <rustc_errors::DiagCtxtHandle>::span_delayed_bug::<rustc_span::span_encoding::Span, alloc::string::String> 4: rustc_hir_analysis::impl_wf_check::enforce_impl_non_lifetime_params_are_constrained 5: rustc_query_impl::plumbing::__rust_begin_short_backtrace::<rustc_query_impl::query_impl::enforce_impl_non_lifetime_params_are_constrained::dynamic_query::{closure#2}::{closure#0}, rustc_middle::query::erase::Erased<[u8; 1]>> 6: rustc_query_system::query::plumbing::try_execute_query::<rustc_query_impl::DynamicConfig<rustc_data_structures::vec_cache::VecCache<rustc_span::def_id::LocalDefId, rustc_middle::query::erase::Erased<[u8; 1]>, rustc_query_system::dep_graph::graph::DepNodeIndex>, false, false, false>, rustc_query_impl::plumbing::QueryCtxt, false> 7: rustc_query_impl::query_impl::enforce_impl_non_lifetime_params_are_constrained::get_query_non_incr::__rust_end_short_backtrace 8: rustc_hir_analysis::check::check::check_item_type 9: rustc_hir_analysis::check::wfcheck::check_well_formed 10: rustc_query_impl::plumbing::__rust_begin_short_backtrace::<rustc_query_impl::query_impl::check_well_formed::dynamic_query::{closure#2}::{closure#0}, rustc_middle::query::erase::Erased<[u8; 1]>> 11: rustc_query_system::query::plumbing::try_execute_query::<rustc_query_impl::DynamicConfig<rustc_data_structures::vec_cache::VecCache<rustc_span::def_id::LocalDefId, rustc_middle::query::erase::Erased<[u8; 1]>, rustc_query_system::dep_graph::graph::DepNodeIndex>, false, false, false>, rustc_query_impl::plumbing::QueryCtxt, false> 12: rustc_query_impl::query_impl::check_well_formed::get_query_non_incr::__rust_end_short_backtrace 13: rustc_hir_analysis::check::wfcheck::check_type_wf 14: rustc_query_impl::plumbing::__rust_begin_short_backtrace::<rustc_query_impl::query_impl::check_type_wf::dynamic_query::{closure#2}::{closure#0}, rustc_middle::query::erase::Erased<[u8; 1]>> 15: rustc_query_system::query::plumbing::try_execute_query::<rustc_query_impl::DynamicConfig<rustc_query_system::query::caches::SingleCache<rustc_middle::query::erase::Erased<[u8; 1]>>, false, false, false>, rustc_query_impl::plumbing::QueryCtxt, false> 16: rustc_query_impl::query_impl::check_type_wf::get_query_non_incr::__rust_end_short_backtrace 17: rustc_hir_analysis::check_crate 18: rustc_interface::passes::analysis 19: rustc_query_impl::plumbing::__rust_begin_short_backtrace::<rustc_query_impl::query_impl::analysis::dynamic_query::{closure#2}::{closure#0}, rustc_middle::query::erase::Erased<[u8; 0]>> 20: rustc_query_system::query::plumbing::try_execute_query::<rustc_query_impl::DynamicConfig<rustc_query_system::query::caches::SingleCache<rustc_middle::query::erase::Erased<[u8; 0]>>, false, false, false>, rustc_query_impl::plumbing::QueryCtxt, false> 21: rustc_query_impl::query_impl::analysis::get_query_non_incr::__rust_end_short_backtrace 22: rustc_interface::passes::create_and_enter_global_ctxt::<core::option::Option<rustc_interface::queries::Linker>, rustc_driver_impl::run_compiler::{closure#0}::{closure#2}>::{closure#2}::{closure#0} 23: rustc_interface::interface::run_compiler::<(), rustc_driver_impl::run_compiler::{closure#0}>::{closure#1} 24: std::sys::backtrace::__rust_begin_short_backtrace::<rustc_interface::util::run_in_thread_with_globals<rustc_interface::util::run_in_thread_pool_with_globals<rustc_interface::interface::run_compiler<(), rustc_driver_impl::run_compiler::{closure#0}>::{closure#1}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()> 25: <<std::thread::Builder>::spawn_unchecked_<rustc_interface::util::run_in_thread_with_globals<rustc_interface::util::run_in_thread_pool_with_globals<rustc_interface::interface::run_compiler<(), rustc_driver_impl::run_compiler::{closure#0}>::{closure#1}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>::{closure#1} as core::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} 26: std::sys::thread::unix::Thread::new::thread_start 27: <unknown> 28: <unknown> --> /tmp/icemaker_global_tempdir.G0lWgRUN973R/rustc_testrunner_tmpdir_reporting.GUX3wUuUpXCm/mvce.rs:2:1 | 2 | impl Trait for [(); N] {} | ^^^^^^^^^^^^^^^^^^^^^^ error: internal compiler error: potentially unconstrained type parameters weren't evaluated: [(); N::<{type error}>] --> /tmp/icemaker_global_tempdir.G0lWgRUN973R/rustc_testrunner_tmpdir_reporting.GUX3wUuUpXCm/mvce.rs:2:1 | 2 | impl Trait for [(); N] {} | ^^^^^^^^^^^^^^^^^^^^^^ | note: delayed at compiler/rustc_hir_analysis/src/impl_wf_check.rs:82:19 0: <rustc_errors::DiagCtxtInner>::emit_diagnostic 1: <rustc_errors::DiagCtxtHandle>::emit_diagnostic 2: <rustc_span::ErrorGuaranteed as rustc_errors::diagnostic::EmissionGuarantee>::emit_producing_guarantee 3: <rustc_errors::DiagCtxtHandle>::span_delayed_bug::<rustc_span::span_encoding::Span, alloc::string::String> 4: rustc_hir_analysis::impl_wf_check::enforce_impl_lifetime_params_are_constrained 5: rustc_hir_analysis::check::check::check_item_type 6: rustc_hir_analysis::check::wfcheck::check_well_formed 7: rustc_query_impl::plumbing::__rust_begin_short_backtrace::<rustc_query_impl::query_impl::check_well_formed::dynamic_query::{closure#2}::{closure#0}, rustc_middle::query::erase::Erased<[u8; 1]>> 8: rustc_query_system::query::plumbing::try_execute_query::<rustc_query_impl::DynamicConfig<rustc_data_structures::vec_cache::VecCache<rustc_span::def_id::LocalDefId, rustc_middle::query::erase::Erased<[u8; 1]>, rustc_query_system::dep_graph::graph::DepNodeIndex>, false, false, false>, rustc_query_impl::plumbing::QueryCtxt, false> 9: rustc_query_impl::query_impl::check_well_formed::get_query_non_incr::__rust_end_short_backtrace 10: rustc_hir_analysis::check::wfcheck::check_type_wf 11: rustc_query_impl::plumbing::__rust_begin_short_backtrace::<rustc_query_impl::query_impl::check_type_wf::dynamic_query::{closure#2}::{closure#0}, rustc_middle::query::erase::Erased<[u8; 1]>> 12: rustc_query_system::query::plumbing::try_execute_query::<rustc_query_impl::DynamicConfig<rustc_query_system::query::caches::SingleCache<rustc_middle::query::erase::Erased<[u8; 1]>>, false, false, false>, rustc_query_impl::plumbing::QueryCtxt, false> 13: rustc_query_impl::query_impl::check_type_wf::get_query_non_incr::__rust_end_short_backtrace 14: rustc_hir_analysis::check_crate 15: rustc_interface::passes::analysis 16: rustc_query_impl::plumbing::__rust_begin_short_backtrace::<rustc_query_impl::query_impl::analysis::dynamic_query::{closure#2}::{closure#0}, rustc_middle::query::erase::Erased<[u8; 0]>> 17: rustc_query_system::query::plumbing::try_execute_query::<rustc_query_impl::DynamicConfig<rustc_query_system::query::caches::SingleCache<rustc_middle::query::erase::Erased<[u8; 0]>>, false, false, false>, rustc_query_impl::plumbing::QueryCtxt, false> 18: rustc_query_impl::query_impl::analysis::get_query_non_incr::__rust_end_short_backtrace 19: rustc_interface::passes::create_and_enter_global_ctxt::<core::option::Option<rustc_interface::queries::Linker>, rustc_driver_impl::run_compiler::{closure#0}::{closure#2}>::{closure#2}::{closure#0} 20: rustc_interface::interface::run_compiler::<(), rustc_driver_impl::run_compiler::{closure#0}>::{closure#1} 21: std::sys::backtrace::__rust_begin_short_backtrace::<rustc_interface::util::run_in_thread_with_globals<rustc_interface::util::run_in_thread_pool_with_globals<rustc_interface::interface::run_compiler<(), rustc_driver_impl::run_compiler::{closure#0}>::{closure#1}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()> 22: <<std::thread::Builder>::spawn_unchecked_<rustc_interface::util::run_in_thread_with_globals<rustc_interface::util::run_in_thread_pool_with_globals<rustc_interface::interface::run_compiler<(), rustc_driver_impl::run_compiler::{closure#0}>::{closure#1}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>::{closure#1} as core::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} 23: std::sys::thread::unix::Thread::new::thread_start 24: <unknown> 25: <unknown> --> /tmp/icemaker_global_tempdir.G0lWgRUN973R/rustc_testrunner_tmpdir_reporting.GUX3wUuUpXCm/mvce.rs:2:1 | 2 | impl Trait for [(); N] {} | ^^^^^^^^^^^^^^^^^^^^^^ 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: rustc 1.92.0-nightly (ce4beebec 2025-09-22) running on x86_64-unknown-linux-gnu note: compiler flags: -Z crate-attr=feature(min_generic_const_args) --crate-type lib -Z dump-mir-dir=dir query stack during panic: end of query stack 

@rustbot label +F-min_generic_const_args

Metadata

Metadata

Assignees

No one assigned

    Labels

    C-bugCategory: This is a bug.F-min_generic_const_args`#![feature(min_generic_const_args)]`I-ICEIssue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions