ICE: `DefId::expect_local DefId isn't local` #133808

matthiaskrgr · 2024-12-03T17:10:22Z

code:

#![feature(generic_const_exprs, transmutability)]

mod assert {
    use std::mem::TransmuteFrom;

    pub fn is_transmutable<Src, Dst>()
    where
        Dst: TransmuteFrom<Src>,
    {
    }
}

pub fn main() {}

Version information

rustc 1.85.0-nightly (8575f8f91 2024-12-03)
binary: rustc
commit-hash: 8575f8f91bbd7dca529d362afc8117db74661c3b
commit-date: 2024-12-03
host: x86_64-unknown-linux-gnu
release: 1.85.0-nightly
LLVM version: 19.1.4

Possibly related line of code:

rust/compiler/rustc_hir_analysis/src/collect/predicates_of.rs

Lines 395 to 407 in 8575f8f

    
               ) 
        
           } 
        
           impl<'tcx> TypeVisitor<TyCtxt<'tcx>> for ConstCollector<'tcx> { 
        
               fn visit_const(&mut self, c: ty::Const<'tcx>) { 
        
                   if let ty::ConstKind::Unevaluated(uv) = c.kind() { 
        
                       if is_const_param_default(self.tcx, uv.def.expect_local()) { 
        
                           // Do not look into const param defaults, 
        
                           // these get checked when they are actually instantiated. 
        
                           // 
        
                           // We do not want the following to error: 
        
                           // 
        
                           //     struct Foo<const N: usize, const M: usize = { N + 1 }>;

Command:
/home/matthias/.rustup/toolchains/master/bin/rustc

Program output

warning: the feature `generic_const_exprs` is incomplete and may not be safe to use and/or cause compiler crashes
 --> /tmp/crash.rs:1:12
  |
1 | #![feature(generic_const_exprs, transmutability)]
  |            ^^^^^^^^^^^^^^^^^^^
  |
  = note: see issue #76560 <https://github.com/rust-lang/rust/issues/76560> for more information
  = note: `#[warn(incomplete_features)]` on by default

thread 'rustc' panicked at compiler/rustc_hir_analysis/src/collect/predicates_of.rs:401:60:
DefId::expect_local: `DefId(2:2144 ~ core[958b]::mem::transmutability::TransmuteFrom::{constant#0})` isn't local
stack backtrace:
   0:     0x744f82b429ba - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::h297eb035a685a8b3
   1:     0x744f83213ca6 - core::fmt::write::h8e5bb32e06fa555f
   2:     0x744f841d9f11 - std::io::Write::write_fmt::h5d3c55e1a008be63
   3:     0x744f82b42812 - std::sys::backtrace::BacktraceLock::print::h2e284e09a2de7ba2
   4:     0x744f82b44d1a - std::panicking::default_hook::{{closure}}::h69c9a1055a2222c1
   5:     0x744f82b44b63 - std::panicking::default_hook::h1b78022d7d188ab6
   6:     0x744f81cc19e8 - std[a8291144892739ee]::panicking::update_hook::<alloc[a1db28cf05e82ab]::boxed::Box<rustc_driver_impl[eeb16750bb3b6251]::install_ice_hook::{closure#0}>>::{closure#0}
   7:     0x744f82b45518 - std::panicking::rust_panic_with_hook::h032cdc7be3cb56c8
   8:     0x744f82b4520a - std::panicking::begin_panic_handler::{{closure}}::ha7afe2e3fcd9c50e
   9:     0x744f82b42e79 - std::sys::backtrace::__rust_end_short_backtrace::hda5e7bea82be6b3c
  10:     0x744f82b44ecd - rust_begin_unwind
  11:     0x744f7f7ae750 - core::panicking::panic_fmt::hf510dcbfda4b6faf
  12:     0x744f81ea6240 - <rustc_hir_analysis[4f3591f81681eb24]::collect::predicates_of::const_evaluatable_predicates_of::{closure#0}::ConstCollector as rustc_type_ir[36b6ce6a92c61b97]::visit::TypeVisitor<rustc_middle[e2ded4ee35845ccb]::ty::context::TyCtxt>>::visit_const
  13:     0x744f83fcc8ef - rustc_hir_analysis[4f3591f81681eb24]::collect::predicates_of::gather_explicit_predicates_of
  14:     0x744f83fc41f4 - rustc_query_impl[1566d5036aaf6ee4]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[1566d5036aaf6ee4]::query_impl::explicit_predicates_of::dynamic_query::{closure#2}::{closure#0}, rustc_middle[e2ded4ee35845ccb]::query::erase::Erased<[u8; 24usize]>>
  15:     0x744f8338f670 - rustc_query_system[3e62bfa58e5579fb]::query::plumbing::try_execute_query::<rustc_query_impl[1566d5036aaf6ee4]::DynamicConfig<rustc_query_system[3e62bfa58e5579fb]::query::caches::DefIdCache<rustc_middle[e2ded4ee35845ccb]::query::erase::Erased<[u8; 24usize]>>, false, false, false>, rustc_query_impl[1566d5036aaf6ee4]::plumbing::QueryCtxt, false>
  16:     0x744f8338eeb2 - rustc_query_impl[1566d5036aaf6ee4]::query_impl::explicit_predicates_of::get_query_non_incr::__rust_end_short_backtrace
  17:     0x744f8338d5c6 - rustc_hir_analysis[4f3591f81681eb24]::collect::predicates_of::predicates_of
  18:     0x744f8338d4e1 - rustc_query_impl[1566d5036aaf6ee4]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[1566d5036aaf6ee4]::query_impl::predicates_of::dynamic_query::{closure#2}::{closure#0}, rustc_middle[e2ded4ee35845ccb]::query::erase::Erased<[u8; 24usize]>>
  19:     0x744f8338f659 - rustc_query_system[3e62bfa58e5579fb]::query::plumbing::try_execute_query::<rustc_query_impl[1566d5036aaf6ee4]::DynamicConfig<rustc_query_system[3e62bfa58e5579fb]::query::caches::DefIdCache<rustc_middle[e2ded4ee35845ccb]::query::erase::Erased<[u8; 24usize]>>, false, false, false>, rustc_query_impl[1566d5036aaf6ee4]::plumbing::QueryCtxt, false>
  20:     0x744f8338edc6 - rustc_query_impl[1566d5036aaf6ee4]::query_impl::predicates_of::get_query_non_incr::__rust_end_short_backtrace
  21:     0x744f8337d99b - <rustc_hir_analysis[4f3591f81681eb24]::collect::CollectItemTypesVisitor as rustc_hir[8c6e6009ce07755a]::intravisit::Visitor>::visit_item
  22:     0x744f80e1da34 - rustc_hir_analysis[4f3591f81681eb24]::check::wfcheck::check_well_formed
  23:     0x744f83c86687 - rustc_query_impl[1566d5036aaf6ee4]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[1566d5036aaf6ee4]::query_impl::check_well_formed::dynamic_query::{closure#2}::{closure#0}, rustc_middle[e2ded4ee35845ccb]::query::erase::Erased<[u8; 1usize]>>
  24:     0x744f83c86948 - rustc_query_system[3e62bfa58e5579fb]::query::plumbing::try_execute_query::<rustc_query_impl[1566d5036aaf6ee4]::DynamicConfig<rustc_data_structures[864da293b8c7000e]::vec_cache::VecCache<rustc_span[634f3266c1e253b7]::def_id::LocalDefId, rustc_middle[e2ded4ee35845ccb]::query::erase::Erased<[u8; 1usize]>, rustc_query_system[3e62bfa58e5579fb]::dep_graph::graph::DepNodeIndex>, false, false, false>, rustc_query_impl[1566d5036aaf6ee4]::plumbing::QueryCtxt, false>
  25:     0x744f83c86662 - rustc_query_impl[1566d5036aaf6ee4]::query_impl::check_well_formed::get_query_non_incr::__rust_end_short_backtrace
  26:     0x744f83c873ec - rustc_hir_analysis[4f3591f81681eb24]::check::wfcheck::check_mod_type_wf
  27:     0x744f83c8720b - rustc_query_impl[1566d5036aaf6ee4]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[1566d5036aaf6ee4]::query_impl::check_mod_type_wf::dynamic_query::{closure#2}::{closure#0}, rustc_middle[e2ded4ee35845ccb]::query::erase::Erased<[u8; 1usize]>>
  28:     0x744f84012308 - rustc_query_system[3e62bfa58e5579fb]::query::plumbing::try_execute_query::<rustc_query_impl[1566d5036aaf6ee4]::DynamicConfig<rustc_query_system[3e62bfa58e5579fb]::query::caches::DefaultCache<rustc_span[634f3266c1e253b7]::def_id::LocalModDefId, rustc_middle[e2ded4ee35845ccb]::query::erase::Erased<[u8; 1usize]>>, false, false, false>, rustc_query_impl[1566d5036aaf6ee4]::plumbing::QueryCtxt, false>
  29:     0x744f840120b0 - rustc_query_impl[1566d5036aaf6ee4]::query_impl::check_mod_type_wf::get_query_non_incr::__rust_end_short_backtrace
  30:     0x744f834c53dc - rustc_hir_analysis[4f3591f81681eb24]::check_crate
  31:     0x744f83b0eebc - rustc_interface[14f05bc75be5cd61]::passes::run_required_analyses
  32:     0x744f83b09f1e - rustc_interface[14f05bc75be5cd61]::passes::analysis
  33:     0x744f83b09eef - rustc_query_impl[1566d5036aaf6ee4]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[1566d5036aaf6ee4]::query_impl::analysis::dynamic_query::{closure#2}::{closure#0}, rustc_middle[e2ded4ee35845ccb]::query::erase::Erased<[u8; 1usize]>>
  34:     0x744f841467fa - rustc_query_system[3e62bfa58e5579fb]::query::plumbing::try_execute_query::<rustc_query_impl[1566d5036aaf6ee4]::DynamicConfig<rustc_query_system[3e62bfa58e5579fb]::query::caches::SingleCache<rustc_middle[e2ded4ee35845ccb]::query::erase::Erased<[u8; 1usize]>>, false, false, false>, rustc_query_impl[1566d5036aaf6ee4]::plumbing::QueryCtxt, false>
  35:     0x744f841464ce - rustc_query_impl[1566d5036aaf6ee4]::query_impl::analysis::get_query_non_incr::__rust_end_short_backtrace
  36:     0x744f8426ed79 - rustc_interface[14f05bc75be5cd61]::interface::run_compiler::<core[958b0aa3988e400a]::result::Result<(), rustc_span[634f3266c1e253b7]::ErrorGuaranteed>, rustc_driver_impl[eeb16750bb3b6251]::run_compiler::{closure#0}>::{closure#1}
  37:     0x744f840e1bc7 - std[a8291144892739ee]::sys::backtrace::__rust_begin_short_backtrace::<rustc_interface[14f05bc75be5cd61]::util::run_in_thread_with_globals<rustc_interface[14f05bc75be5cd61]::util::run_in_thread_pool_with_globals<rustc_interface[14f05bc75be5cd61]::interface::run_compiler<core[958b0aa3988e400a]::result::Result<(), rustc_span[634f3266c1e253b7]::ErrorGuaranteed>, rustc_driver_impl[eeb16750bb3b6251]::run_compiler::{closure#0}>::{closure#1}, core[958b0aa3988e400a]::result::Result<(), rustc_span[634f3266c1e253b7]::ErrorGuaranteed>>::{closure#0}, core[958b0aa3988e400a]::result::Result<(), rustc_span[634f3266c1e253b7]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[958b0aa3988e400a]::result::Result<(), rustc_span[634f3266c1e253b7]::ErrorGuaranteed>>
  38:     0x744f840e1862 - <<std[a8291144892739ee]::thread::Builder>::spawn_unchecked_<rustc_interface[14f05bc75be5cd61]::util::run_in_thread_with_globals<rustc_interface[14f05bc75be5cd61]::util::run_in_thread_pool_with_globals<rustc_interface[14f05bc75be5cd61]::interface::run_compiler<core[958b0aa3988e400a]::result::Result<(), rustc_span[634f3266c1e253b7]::ErrorGuaranteed>, rustc_driver_impl[eeb16750bb3b6251]::run_compiler::{closure#0}>::{closure#1}, core[958b0aa3988e400a]::result::Result<(), rustc_span[634f3266c1e253b7]::ErrorGuaranteed>>::{closure#0}, core[958b0aa3988e400a]::result::Result<(), rustc_span[634f3266c1e253b7]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[958b0aa3988e400a]::result::Result<(), rustc_span[634f3266c1e253b7]::ErrorGuaranteed>>::{closure#1} as core[958b0aa3988e400a]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
  39:     0x744f840e0fab - std::sys::pal::unix::thread::Thread::new::thread_start::hcf422f7542348f85
  40:     0x744f7e4a339d - <unknown>
  41:     0x744f7e52849c - <unknown>
  42:                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/im/rustc-ice-2024-12-03T17_09_07-4164483.txt` to your bug report

query stack during panic:
#0 [explicit_predicates_of] computing explicit predicates of `assert::is_transmutable`
#1 [predicates_of] computing predicates of `assert::is_transmutable`
end of query stack
warning: 1 warning emitted

@rustbot label +F-generic_const_exprs +F-transmutability

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

matthiaskrgr · 2024-12-03T17:11:14Z

cc @camelid this went from "compiles" to ice with #133610

matthieu-m · 2025-01-11T14:00:25Z

Hit this assert while attempting to upgrade to nightly 1.86, without using the transmutability feature. It was triggered by a const-generics type: Foo<const N: u8>(i64);.

I haven't been able to create a (small) reproducer yet.

chenzhuoyu · 2025-01-22T08:14:56Z

Any updates on this?

matthiaskrgr · 2025-04-02T21:12:59Z

since #135186 , this seems to be easier to reach now:

auto-reduced (treereduce-rust):

#![feature(generic_const_exprs)]
#![feature(min_generic_const_args)]
pub trait Foo {}
impl Foo for [u8; std::path::MAIN_SEPARATOR] {}

original:

pub trait Foo {}
impl Foo for [u8; std::path::MAIN_SEPARATOR] {}
//~^ ERROR no associated item named `BYTES` found

fn main() { }

Version information

rustc 1.88.0-nightly (4f0de4c81 2025-04-02)
binary: rustc
commit-hash: 4f0de4c81d80121ac7b576bc68d8016064f4d261
commit-date: 2025-04-02
host: x86_64-unknown-linux-gnu
release: 1.88.0-nightly
LLVM version: 20.1.1

Possibly related line of code:

rust/compiler/rustc_hir_analysis/src/collect/predicates_of.rs

Lines 390 to 402 in 4f0de4c

    
               ) 
        
           } 
        
           impl<'tcx> TypeVisitor<TyCtxt<'tcx>> for ConstCollector<'tcx> { 
        
               fn visit_const(&mut self, c: ty::Const<'tcx>) { 
        
                   if let ty::ConstKind::Unevaluated(uv) = c.kind() { 
        
                       if is_const_param_default(self.tcx, uv.def.expect_local()) { 
        
                           // Do not look into const param defaults, 
        
                           // these get checked when they are actually instantiated. 
        
                           // 
        
                           // We do not want the following to error: 
        
                           // 
        
                           //     struct Foo<const N: usize, const M: usize = { N + 1 }>;

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

Program output

warning: the feature `generic_const_exprs` is incomplete and may not be safe to use and/or cause compiler crashes
 --> <crate attribute>:1:9
  |
1 | feature(generic_const_exprs)
  |         ^^^^^^^^^^^^^^^^^^^
  |
  = note: see issue #76560 <https://github.com/rust-lang/rust/issues/76560> for more information
  = note: `#[warn(incomplete_features)]` on by default

warning: the feature `min_generic_const_args` is incomplete and may not be safe to use and/or cause compiler crashes
 --> <crate attribute>:1:9
  |
1 | feature(min_generic_const_args)
  |         ^^^^^^^^^^^^^^^^^^^^^^
  |
  = note: see issue #132980 <https://github.com/rust-lang/rust/issues/132980> for more information

error[E0601]: `main` function not found in crate `mvce`
 --> /tmp/icemaker_global_tempdir.OF90wL9sUDBc/rustc_testrunner_tmpdir_reporting.XB3oIJ6bKQIK/mvce.rs:2:48
  |
2 | impl Foo for [u8; std::path::MAIN_SEPARATOR] {}
  |                                                ^ consider adding a `main` function to `/tmp/icemaker_global_tempdir.OF90wL9sUDBc/rustc_testrunner_tmpdir_reporting.XB3oIJ6bKQIK/mvce.rs`


thread 'rustc' panicked at compiler/rustc_hir_analysis/src/collect/predicates_of.rs:396:60:
DefId::expect_local: `DefId(1:5550 ~ std[64a3]::path::MAIN_SEPARATOR)` isn't local
stack backtrace:
   0:     0x7ebdf7e71b23 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::h6276d246583c5920
   1:     0x7ebdf8606111 - core::fmt::write::h1ce97450a6826ddd
   2:     0x7ebdf9aa2fd1 - std::io::Write::write_fmt::h9303e97b3c369b59
   3:     0x7ebdf7e71982 - std::sys::backtrace::BacktraceLock::print::hea9f14d6ca9b0147
   4:     0x7ebdf7e7546a - std::panicking::default_hook::{{closure}}::h47e4ac810bd31853
   5:     0x7ebdf7e74fef - std::panicking::default_hook::h0a321ea46395d69c
   6:     0x7ebdf6eec910 - std[64a3ecc47e3ea7b6]::panicking::update_hook::<alloc[b66be81d450b4e53]::boxed::Box<rustc_driver_impl[364dfd96f8312c97]::install_ice_hook::{closure#1}>>::{closure#0}
   7:     0x7ebdf7e75ce3 - std::panicking::rust_panic_with_hook::hf664c17233f51fc1
   8:     0x7ebdf7e759da - std::panicking::begin_panic_handler::{{closure}}::h7088a6399c4e77b8
   9:     0x7ebdf7e71fe9 - std::sys::backtrace::__rust_end_short_backtrace::ha0e7f294eb1a8fe7
  10:     0x7ebdf7e7569d - __rustc[24c2168e1038dcb]::rust_begin_unwind
  11:     0x7ebdf48a1080 - core::panicking::panic_fmt::h50b24de79d3c9acf
  12:     0x7ebdf70f1411 - <rustc_hir_analysis[c0538ce4abe59eb]::collect::predicates_of::const_evaluatable_predicates_of::{closure#0}::ConstCollector as rustc_type_ir[400d2f267cf67a96]::visit::TypeVisitor<rustc_middle[952277fedfa7cd0]::ty::context::TyCtxt>>::visit_const
  13:     0x7ebdf7015864 - <rustc_middle[952277fedfa7cd0]::ty::generic_args::GenericArg as rustc_type_ir[400d2f267cf67a96]::visit::TypeVisitable<rustc_middle[952277fedfa7cd0]::ty::context::TyCtxt>>::visit_with::<rustc_hir_analysis[c0538ce4abe59eb]::collect::predicates_of::const_evaluatable_predicates_of::{closure#0}::ConstCollector>
  14:     0x7ebdf8967a70 - rustc_hir_analysis[c0538ce4abe59eb]::collect::predicates_of::gather_explicit_predicates_of::{closure#0}
  15:     0x7ebdf8963b15 - rustc_query_impl[45df45b8015af900]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[45df45b8015af900]::query_impl::explicit_predicates_of::dynamic_query::{closure#2}::{closure#0}, rustc_middle[952277fedfa7cd0]::query::erase::Erased<[u8; 24usize]>>
  16:     0x7ebdf887f0c2 - rustc_query_system[70e2f348503a4b9c]::query::plumbing::try_execute_query::<rustc_query_impl[45df45b8015af900]::DynamicConfig<rustc_query_system[70e2f348503a4b9c]::query::caches::DefIdCache<rustc_middle[952277fedfa7cd0]::query::erase::Erased<[u8; 24usize]>>, false, false, false>, rustc_query_impl[45df45b8015af900]::plumbing::QueryCtxt, false>
  17:     0x7ebdf887e9e4 - rustc_query_impl[45df45b8015af900]::query_impl::explicit_predicates_of::get_query_non_incr::__rust_end_short_backtrace
  18:     0x7ebdf887dfb3 - rustc_query_impl[45df45b8015af900]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[45df45b8015af900]::query_impl::predicates_of::dynamic_query::{closure#2}::{closure#0}, rustc_middle[952277fedfa7cd0]::query::erase::Erased<[u8; 24usize]>>
  19:     0x7ebdf887f0a3 - rustc_query_system[70e2f348503a4b9c]::query::plumbing::try_execute_query::<rustc_query_impl[45df45b8015af900]::DynamicConfig<rustc_query_system[70e2f348503a4b9c]::query::caches::DefIdCache<rustc_middle[952277fedfa7cd0]::query::erase::Erased<[u8; 24usize]>>, false, false, false>, rustc_query_impl[45df45b8015af900]::plumbing::QueryCtxt, false>
  20:     0x7ebdf887e8e4 - rustc_query_impl[45df45b8015af900]::query_impl::predicates_of::get_query_non_incr::__rust_end_short_backtrace
  21:     0x7ebdf8d3e4a8 - <rustc_hir_analysis[c0538ce4abe59eb]::collect::CollectItemTypesVisitor as rustc_hir[87a7ca80e7853681]::intravisit::Visitor>::visit_item
  22:     0x7ebdf8d343f7 - rustc_hir_analysis[c0538ce4abe59eb]::check::wfcheck::check_well_formed
  23:     0x7ebdf8d34211 - rustc_query_impl[45df45b8015af900]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[45df45b8015af900]::query_impl::check_well_formed::dynamic_query::{closure#2}::{closure#0}, rustc_middle[952277fedfa7cd0]::query::erase::Erased<[u8; 1usize]>>
  24:     0x7ebdf8d33aba - rustc_query_system[70e2f348503a4b9c]::query::plumbing::try_execute_query::<rustc_query_impl[45df45b8015af900]::DynamicConfig<rustc_data_structures[845dae019623b7f5]::vec_cache::VecCache<rustc_span[16c8bd6e3b329917]::def_id::LocalDefId, rustc_middle[952277fedfa7cd0]::query::erase::Erased<[u8; 1usize]>, rustc_query_system[70e2f348503a4b9c]::dep_graph::graph::DepNodeIndex>, false, false, false>, rustc_query_impl[45df45b8015af900]::plumbing::QueryCtxt, false>
  25:     0x7ebdf8d33597 - rustc_query_impl[45df45b8015af900]::query_impl::check_well_formed::get_query_non_incr::__rust_end_short_backtrace
  26:     0x7ebdf8d30a2d - rustc_hir_analysis[c0538ce4abe59eb]::check::wfcheck::check_mod_type_wf
  27:     0x7ebdf8d30855 - rustc_query_impl[45df45b8015af900]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[45df45b8015af900]::query_impl::check_mod_type_wf::dynamic_query::{closure#2}::{closure#0}, rustc_middle[952277fedfa7cd0]::query::erase::Erased<[u8; 1usize]>>
  28:     0x7ebdf96e58d9 - rustc_query_system[70e2f348503a4b9c]::query::plumbing::try_execute_query::<rustc_query_impl[45df45b8015af900]::DynamicConfig<rustc_query_system[70e2f348503a4b9c]::query::caches::DefaultCache<rustc_span[16c8bd6e3b329917]::def_id::LocalModDefId, rustc_middle[952277fedfa7cd0]::query::erase::Erased<[u8; 1usize]>>, false, false, false>, rustc_query_impl[45df45b8015af900]::plumbing::QueryCtxt, false>
  29:     0x7ebdf96e564a - rustc_query_impl[45df45b8015af900]::query_impl::check_mod_type_wf::get_query_non_incr::__rust_end_short_backtrace
  30:     0x7ebdf88afc97 - rustc_hir_analysis[c0538ce4abe59eb]::check_crate
  31:     0x7ebdf8dc8fa5 - rustc_interface[809c8c781064d3fa]::passes::run_required_analyses
  32:     0x7ebdf8db74de - rustc_interface[809c8c781064d3fa]::passes::analysis
  33:     0x7ebdf8db74b3 - rustc_query_impl[45df45b8015af900]::plumbing::__rust_begin_short_backtrace::<rustc_query_impl[45df45b8015af900]::query_impl::analysis::dynamic_query::{closure#2}::{closure#0}, rustc_middle[952277fedfa7cd0]::query::erase::Erased<[u8; 0usize]>>
  34:     0x7ebdf95b99bd - rustc_query_system[70e2f348503a4b9c]::query::plumbing::try_execute_query::<rustc_query_impl[45df45b8015af900]::DynamicConfig<rustc_query_system[70e2f348503a4b9c]::query::caches::SingleCache<rustc_middle[952277fedfa7cd0]::query::erase::Erased<[u8; 0usize]>>, false, false, false>, rustc_query_impl[45df45b8015af900]::plumbing::QueryCtxt, false>
  35:     0x7ebdf95b96b8 - rustc_query_impl[45df45b8015af900]::query_impl::analysis::get_query_non_incr::__rust_end_short_backtrace
  36:     0x7ebdf979380d - rustc_interface[809c8c781064d3fa]::passes::create_and_enter_global_ctxt::<core[4c10ad9516df98d8]::option::Option<rustc_interface[809c8c781064d3fa]::queries::Linker>, rustc_driver_impl[364dfd96f8312c97]::run_compiler::{closure#0}::{closure#2}>::{closure#2}::{closure#0}
  37:     0x7ebdf975cf2a - rustc_interface[809c8c781064d3fa]::interface::run_compiler::<(), rustc_driver_impl[364dfd96f8312c97]::run_compiler::{closure#0}>::{closure#1}
  38:     0x7ebdf959bfd2 - std[64a3ecc47e3ea7b6]::sys::backtrace::__rust_begin_short_backtrace::<rustc_interface[809c8c781064d3fa]::util::run_in_thread_with_globals<rustc_interface[809c8c781064d3fa]::util::run_in_thread_pool_with_globals<rustc_interface[809c8c781064d3fa]::interface::run_compiler<(), rustc_driver_impl[364dfd96f8312c97]::run_compiler::{closure#0}>::{closure#1}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>
  39:     0x7ebdf959c8b4 - <<std[64a3ecc47e3ea7b6]::thread::Builder>::spawn_unchecked_<rustc_interface[809c8c781064d3fa]::util::run_in_thread_with_globals<rustc_interface[809c8c781064d3fa]::util::run_in_thread_pool_with_globals<rustc_interface[809c8c781064d3fa]::interface::run_compiler<(), rustc_driver_impl[364dfd96f8312c97]::run_compiler::{closure#0}>::{closure#1}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>::{closure#1} as core[4c10ad9516df98d8]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
  40:     0x7ebdf959dcab - std::sys::pal::unix::thread::Thread::new::thread_start::hcc40a29411d3318b
  41:     0x7ebdf34a370a - <unknown>
  42:     0x7ebdf3527aac - <unknown>
  43:                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: rustc 1.88.0-nightly (4f0de4c81 2025-04-02) running on x86_64-unknown-linux-gnu

note: compiler flags: -Z crate-attr=feature(generic_const_exprs) -Z crate-attr=feature(min_generic_const_args) -Z dump-mir-dir=dir

query stack during panic:
#0 [explicit_predicates_of] computing explicit predicates of `<impl at /tmp/icemaker_global_tempdir.OF90wL9sUDBc/rustc_testrunner_tmpdir_reporting.XB3oIJ6bKQIK/mvce.rs:2:1: 2:45>`
#1 [predicates_of] computing predicates of `<impl at /tmp/icemaker_global_tempdir.OF90wL9sUDBc/rustc_testrunner_tmpdir_reporting.XB3oIJ6bKQIK/mvce.rs:2:1: 2:45>`
#2 [check_well_formed] checking that `<impl at /tmp/icemaker_global_tempdir.OF90wL9sUDBc/rustc_testrunner_tmpdir_reporting.XB3oIJ6bKQIK/mvce.rs:2:1: 2:45>` is well-formed
#3 [check_mod_type_wf] checking that types are well-formed in top-level module
#4 [analysis] running analysis passes on this crate
end of query stack
error: aborting due to 1 previous error; 2 warnings emitted

For more information about this error, try `rustc --explain E0601`.

@rustbot label +F-generic_const_exprs +F-min_generic_const_args

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

rustbot added needs-triage This issue may need triage. Remove it if it has been sufficiently triaged. F-generic_const_exprs `#![feature(generic_const_exprs)]` F-transmutability `#![feature(transmutability)]` labels Dec 3, 2024

jieyouxu added S-has-mcve Status: A Minimal Complete and Verifiable Example has been found for this issue S-has-bisection Status: a bisection has been found for this issue and removed needs-triage This issue may need triage. Remove it if it has been sufficiently triaged. labels Dec 3, 2024

matthiaskrgr added the S-bug-has-test Status: This bug is tracked inside the repo by a `known-bug` test. label Dec 14, 2024

yotamofek mentioned this issue Dec 27, 2024

ICE: Encountered anon const with inference variable args but no error reported #133139

Closed

camelid self-assigned this Jan 23, 2025

Tehforsch mentioned this issue Jan 27, 2025

Doc-tests trigger ICE on current nightly Tehforsch/diman#91

Open

matthiaskrgr marked this as a duplicate of #139048 Mar 28, 2025

perekopskiy marked this as a duplicate of #139252 Apr 2, 2025

perekopskiy mentioned this issue Apr 2, 2025

[ICE]: DefId::expect_local .. isn't local in recent nightly versions #139252

Closed

rustbot added the F-min_generic_const_args `#![feature(min_generic_const_args)]` label Apr 2, 2025

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

ICE: `DefId::expect_local DefId isn't local` #133808

ICE: `DefId::expect_local DefId isn't local` #133808

matthiaskrgr commented Dec 3, 2024

matthiaskrgr commented Dec 3, 2024

matthieu-m commented Jan 11, 2025 •

edited

Loading

chenzhuoyu commented Jan 22, 2025

matthiaskrgr commented Apr 2, 2025

ICE: DefId::expect_local DefId isn't local #133808

ICE: DefId::expect_local DefId isn't local #133808

Comments

matthiaskrgr commented Dec 3, 2024

matthiaskrgr commented Dec 3, 2024

matthieu-m commented Jan 11, 2025 • edited Loading

chenzhuoyu commented Jan 22, 2025

matthiaskrgr commented Apr 2, 2025

ICE: `DefId::expect_local DefId isn't local` #133808

ICE: `DefId::expect_local DefId isn't local` #133808

matthieu-m commented Jan 11, 2025 •

edited

Loading