Skip to content

[ICE]: !tcx.next_trait_solver_globally() || !(verify_if_eq.ty, test_ty).has_non_rigid_aliases() #160206

Closed
#160212
Closed
[ICE]: !tcx.next_trait_solver_globally() || !(verify_if_eq.ty, test_ty).has_non_rigid_aliases()#160206
#160212
Labels
C-bugCategory: This is a bug.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.WG-trait-system-refactorThe Rustc Trait System Refactor Initiative (-Znext-solver)requires-debug-assertionsThis issue requires a build of rustc or tooling with debug-assertions in some way

Description

@matthiaskrgr
matthiaskrgr
opened on Jul 30, 2026

Code

trait Foo<'x> {
    type Out;
    fn foo(self) -> Self::Out;
}

struct Bar;

impl<'x> Foo<'x> for Bar {
    type Out = ();
    fn foo(self) -> Self::Out {
        todo!()
    }
}

fn make_static_foo<'x>(_: &'x ()) -> impl Foo<'x, Out: 'static> {
    Bar
}


fn test() {
    make_static_foo(&());
}

fn main() {}

Meta

rustc --version --verbose:

rustc 1.99.0-nightly (1a833e165 2026-07-29)
binary: rustc
commit-hash: 1a833e16546c2eb012758ddd499964fd8afee29e
commit-date: 2026-07-29
host: x86_64-unknown-linux-gnu
release: 1.99.0-nightly
LLVM version: 22.1.8

Error output

<output>
Backtrace 

thread 'rustc' (117651) panicked at /rustc-dev/83709eedfff36840b0749ca429ac43f5479b268f/compiler/rustc_infer/src/infer/outlives/test_type_match.rs:47:5:
assertion failed: !tcx.next_trait_solver_globally() ||
    !(verify_if_eq.ty, test_ty).has_non_rigid_aliases()
stack backtrace:
   0:     0x7fafeaa00f00 - std[b6c055bcd493c5e1]::backtrace_rs::backtrace::libunwind::trace
                               at /rustc/83709eedfff36840b0749ca429ac43f5479b268f/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
   1:     0x7fafeaa00f00 - std[b6c055bcd493c5e1]::backtrace_rs::backtrace::trace_unsynchronized::<std[b6c055bcd493c5e1]::sys::backtrace::_print_fmt::{closure#1}>
                               at /rustc/83709eedfff36840b0749ca429ac43f5479b268f/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
   2:     0x7fafeaa00f00 - std[b6c055bcd493c5e1]::sys::backtrace::_print_fmt
                               at /rustc/83709eedfff36840b0749ca429ac43f5479b268f/library/std/src/sys/backtrace.rs:74:9
   3:     0x7fafeaa00f00 - <<std[b6c055bcd493c5e1]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[10ad3fcb7c163ba6]::fmt::Display>::fmt
                               at /rustc/83709eedfff36840b0749ca429ac43f5479b268f/library/std/src/sys/backtrace.rs:44:26
   4:     0x7fafe6294e3e - <core[10ad3fcb7c163ba6]::fmt::rt::Argument>::fmt
                               at /rustc/83709eedfff36840b0749ca429ac43f5479b268f/library/core/src/fmt/rt.rs:152:76
   5:     0x7fafe6294e3e - core[10ad3fcb7c163ba6]::fmt::write
   6:     0x7fafeaa17e9c - core[10ad3fcb7c163ba6]::io::write::default_write_fmt::<std[b6c055bcd493c5e1]::sys::stdio::unix::Stderr>
                               at /rustc/83709eedfff36840b0749ca429ac43f5479b268f/library/core/src/io/write.rs:402:11
   7:     0x7fafeaa17e9c - <std[b6c055bcd493c5e1]::sys::stdio::unix::Stderr as core[10ad3fcb7c163ba6]::io::write::Write>::write_fmt
                               at /rustc/83709eedfff36840b0749ca429ac43f5479b268f/library/core/src/io/write.rs:335:13
   8:     0x7fafea9c0014 - <std[b6c055bcd493c5e1]::sys::backtrace::BacktraceLock>::print
                               at /rustc/83709eedfff36840b0749ca429ac43f5479b268f/library/std/src/sys/backtrace.rs:47:9
   9:     0x7fafea9c0014 - std[b6c055bcd493c5e1]::panicking::default_hook::{closure#0}
                               at /rustc/83709eedfff36840b0749ca429ac43f5479b268f/library/std/src/panicking.rs:292:27
  10:     0x7fafea9ed391 - std[b6c055bcd493c5e1]::panicking::default_hook
                               at /rustc/83709eedfff36840b0749ca429ac43f5479b268f/library/std/src/panicking.rs:319:9
  11:     0x7fafe75babe8 - <alloc[eb781cfc8ec1a40d]::boxed::Box<dyn for<'a, 'b> core[10ad3fcb7c163ba6]::ops::function::Fn<(&'a std[b6c055bcd493c5e1]::panic::PanicHookInfo<'b>,), Output = ()> + core[10ad3fcb7c163ba6]::marker::Send + core[10ad3fcb7c163ba6]::marker::Sync> as core[10ad3fcb7c163ba6]::ops::function::Fn<(&std[b6c055bcd493c5e1]::panic::PanicHookInfo,)>>::call
                               at /rustc-dev/83709eedfff36840b0749ca429ac43f5479b268f/library/alloc/src/boxed.rs:2328:9
  12:     0x7fafe75babe8 - rustc_driver_impl[7c2aa2e8c0ed9f29]::install_ice_hook::{closure#1}
                               at /rustc-dev/83709eedfff36840b0749ca429ac43f5479b268f/compiler/rustc_driver_impl/src/lib.rs:1482:17
  13:     0x7fafe75babe8 - <alloc[eb781cfc8ec1a40d]::boxed::Box<rustc_driver_impl[7c2aa2e8c0ed9f29]::install_ice_hook::{closure#1}> as core[10ad3fcb7c163ba6]::ops::function::Fn<(&dyn for<'a, 'b> core[10ad3fcb7c163ba6]::ops::function::Fn<(&'a std[b6c055bcd493c5e1]::panic::PanicHookInfo<'b>,), Output = ()> + core[10ad3fcb7c163ba6]::marker::Send + core[10ad3fcb7c163ba6]::marker::Sync, &std[b6c055bcd493c5e1]::panic::PanicHookInfo)>>::call
                               at /rustc-dev/83709eedfff36840b0749ca429ac43f5479b268f/library/alloc/src/boxed.rs:2328:9
  14:     0x7fafe75babe8 - std[b6c055bcd493c5e1]::panicking::update_hook::<alloc[eb781cfc8ec1a40d]::boxed::Box<rustc_driver_impl[7c2aa2e8c0ed9f29]::install_ice_hook::{closure#1}>>::{closure#0}
                               at /rustc-dev/83709eedfff36840b0749ca429ac43f5479b268f/library/std/src/panicking.rs:235:47
  15:     0x7fafea9ed81a - <alloc[eb781cfc8ec1a40d]::boxed::Box<dyn for<'a, 'b> core[10ad3fcb7c163ba6]::ops::function::Fn<(&'a std[b6c055bcd493c5e1]::panic::PanicHookInfo<'b>,), Output = ()> + core[10ad3fcb7c163ba6]::marker::Send + core[10ad3fcb7c163ba6]::marker::Sync> as core[10ad3fcb7c163ba6]::ops::function::Fn<(&std[b6c055bcd493c5e1]::panic::PanicHookInfo,)>>::call
                               at /rustc/83709eedfff36840b0749ca429ac43f5479b268f/library/alloc/src/boxed.rs:2328:9
  16:     0x7fafea9ed81a - std[b6c055bcd493c5e1]::panicking::panic_with_hook
                               at /rustc/83709eedfff36840b0749ca429ac43f5479b268f/library/std/src/panicking.rs:823:13
  17:     0x7fafea9c0114 - std[b6c055bcd493c5e1]::panicking::panic_handler::{closure#0}
                               at /rustc/83709eedfff36840b0749ca429ac43f5479b268f/library/std/src/panicking.rs:681:13
  18:     0x7fafea9b1a19 - std[b6c055bcd493c5e1]::sys::backtrace::__rust_end_short_backtrace::<std[b6c055bcd493c5e1]::panicking::panic_handler::{closure#0}, !>
                               at /rustc/83709eedfff36840b0749ca429ac43f5479b268f/library/std/src/sys/backtrace.rs:182:18
  19:     0x7fafea9c20bd - __rustc[b05777eb3ce82bca]::rust_begin_unwind
                               at /rustc/83709eedfff36840b0749ca429ac43f5479b268f/library/std/src/panicking.rs:679:5
  20:     0x7fafe6295bac - core[10ad3fcb7c163ba6]::panicking::panic_fmt
                               at /rustc/83709eedfff36840b0749ca429ac43f5479b268f/library/core/src/panicking.rs:80:14
  21:     0x7fafe6295b72 - core[10ad3fcb7c163ba6]::panicking::panic
                               at /rustc/83709eedfff36840b0749ca429ac43f5479b268f/library/core/src/panicking.rs:150:5
  22:     0x7fafe82a03a8 - rustc_infer[46a8da881acfd4c8]::infer::outlives::test_type_match::extract_verify_if_eq
  23:     0x7fafea5e693b - rustc_trait_selection[f357c2c8ed23bfbd]::traits::outlives_for_liveness::live_args_for_alias_from_outlives_bounds::{closure#0}::{closure#0}
                               at /rustc-dev/83709eedfff36840b0749ca429ac43f5479b268f/compiler/rustc_trait_selection/src/traits/outlives_for_liveness.rs:56:17
  24:     0x7fafea5e693b - <&mut rustc_trait_selection[f357c2c8ed23bfbd]::traits::outlives_for_liveness::live_args_for_alias_from_outlives_bounds::{closure#0}::{closure#0} as core[10ad3fcb7c163ba6]::ops::function::FnMut<(rustc_middle[b3cdc1b6cbf46bfe]::ty::predicate::Clause,)>>::call_mut
                               at /rustc-dev/83709eedfff36840b0749ca429ac43f5479b268f/library/core/src/ops/function.rs:298:21
  25:     0x7fafea5e693b - core[10ad3fcb7c163ba6]::iter::traits::iterator::Iterator::find_map::check::<rustc_middle[b3cdc1b6cbf46bfe]::ty::predicate::Clause, rustc_type_ir[ff515288b0488bd5]::sty::Region<rustc_middle[b3cdc1b6cbf46bfe]::ty::context::TyCtxt>, &mut rustc_trait_selection[f357c2c8ed23bfbd]::traits::outlives_for_liveness::live_args_for_alias_from_outlives_bounds::{closure#0}::{closure#0}>::{closure#0}
                               at /rustc-dev/83709eedfff36840b0749ca429ac43f5479b268f/library/core/src/iter/traits/iterator.rs:2994:32
  26:     0x7fafea5e693b - core[10ad3fcb7c163ba6]::iter::adapters::copied::copy_try_fold::<rustc_middle[b3cdc1b6cbf46bfe]::ty::predicate::Clause, (), core[10ad3fcb7c163ba6]::ops::control_flow::ControlFlow<rustc_type_ir[ff515288b0488bd5]::sty::Region<rustc_middle[b3cdc1b6cbf46bfe]::ty::context::TyCtxt>>, core[10ad3fcb7c163ba6]::iter::traits::iterator::Iterator::find_map::check<rustc_middle[b3cdc1b6cbf46bfe]::ty::predicate::Clause, rustc_type_ir[ff515288b0488bd5]::sty::Region<rustc_middle[b3cdc1b6cbf46bfe]::ty::context::TyCtxt>, &mut rustc_trait_selection[f357c2c8ed23bfbd]::traits::outlives_for_liveness::live_args_for_alias_from_outlives_bounds::{closure#0}::{closure#0}>::{closure#0}>::{closure#0}
                               at /rustc-dev/83709eedfff36840b0749ca429ac43f5479b268f/library/core/src/iter/adapters/copied.rs:40:22
  27:     0x7fafea5e693b - <core[10ad3fcb7c163ba6]::slice::iter::Iter<rustc_middle[b3cdc1b6cbf46bfe]::ty::predicate::Clause> as core[10ad3fcb7c163ba6]::iter::traits::iterator::Iterator>::try_fold::<(), core[10ad3fcb7c163ba6]::iter::adapters::copied::copy_try_fold<rustc_middle[b3cdc1b6cbf46bfe]::ty::predicate::Clause, (), core[10ad3fcb7c163ba6]::ops::control_flow::ControlFlow<rustc_type_ir[ff515288b0488bd5]::sty::Region<rustc_middle[b3cdc1b6cbf46bfe]::ty::context::TyCtxt>>, core[10ad3fcb7c163ba6]::iter::traits::iterator::Iterator::find_map::check<rustc_middle[b3cdc1b6cbf46bfe]::ty::predicate::Clause, rustc_type_ir[ff515288b0488bd5]::sty::Region<rustc_middle[b3cdc1b6cbf46bfe]::ty::context::TyCtxt>, &mut rustc_trait_selection[f357c2c8ed23bfbd]::traits::outlives_for_liveness::live_args_for_alias_from_outlives_bounds::{closure#0}::{closure#0}>::{closure#0}>::{closure#0}, core[10ad3fcb7c163ba6]::ops::control_flow::ControlFlow<rustc_type_ir[ff515288b0488bd5]::sty::Region<rustc_middle[b3cdc1b6cbf46bfe]::ty::context::TyCtxt>>>
                               at /rustc-dev/83709eedfff36840b0749ca429ac43f5479b268f/library/core/src/iter/traits/iterator.rs:2490:21
  28:     0x7fafea5e693b - <core[10ad3fcb7c163ba6]::iter::adapters::copied::Copied<core[10ad3fcb7c163ba6]::slice::iter::Iter<rustc_middle[b3cdc1b6cbf46bfe]::ty::predicate::Clause>> as core[10ad3fcb7c163ba6]::iter::traits::iterator::Iterator>::try_fold::<(), core[10ad3fcb7c163ba6]::iter::traits::iterator::Iterator::find_map::check<rustc_middle[b3cdc1b6cbf46bfe]::ty::predicate::Clause, rustc_type_ir[ff515288b0488bd5]::sty::Region<rustc_middle[b3cdc1b6cbf46bfe]::ty::context::TyCtxt>, &mut rustc_trait_selection[f357c2c8ed23bfbd]::traits::outlives_for_liveness::live_args_for_alias_from_outlives_bounds::{closure#0}::{closure#0}>::{closure#0}, core[10ad3fcb7c163ba6]::ops::control_flow::ControlFlow<rustc_type_ir[ff515288b0488bd5]::sty::Region<rustc_middle[b3cdc1b6cbf46bfe]::ty::context::TyCtxt>>>
                               at /rustc-dev/83709eedfff36840b0749ca429ac43f5479b268f/library/core/src/iter/adapters/copied.rs:74:17
  29:     0x7fafea5e693b - <core[10ad3fcb7c163ba6]::iter::adapters::copied::Copied<core[10ad3fcb7c163ba6]::slice::iter::Iter<rustc_middle[b3cdc1b6cbf46bfe]::ty::predicate::Clause>> as core[10ad3fcb7c163ba6]::iter::traits::iterator::Iterator>::find_map::<rustc_type_ir[ff515288b0488bd5]::sty::Region<rustc_middle[b3cdc1b6cbf46bfe]::ty::context::TyCtxt>, &mut rustc_trait_selection[f357c2c8ed23bfbd]::traits::outlives_for_liveness::live_args_for_alias_from_outlives_bounds::{closure#0}::{closure#0}>
                               at /rustc-dev/83709eedfff36840b0749ca429ac43f5479b268f/library/core/src/iter/traits/iterator.rs:3000:14
  30:     0x7fafea5e693b - <core[10ad3fcb7c163ba6]::iter::adapters::filter_map::FilterMap<core[10ad3fcb7c163ba6]::iter::adapters::copied::Copied<core[10ad3fcb7c163ba6]::slice::iter::Iter<rustc_middle[b3cdc1b6cbf46bfe]::ty::predicate::Clause>>, rustc_trait_selection[f357c2c8ed23bfbd]::traits::outlives_for_liveness::live_args_for_alias_from_outlives_bounds::{closure#0}::{closure#0}> as core[10ad3fcb7c163ba6]::iter::traits::iterator::Iterator>::next
                               at /rustc-dev/83709eedfff36840b0749ca429ac43f5479b268f/library/core/src/iter/adapters/filter_map.rs:64:19
  31:     0x7fafea55bbea - <alloc[eb781cfc8ec1a40d]::vec::Vec<rustc_type_ir[ff515288b0488bd5]::sty::Region<rustc_middle[b3cdc1b6cbf46bfe]::ty::context::TyCtxt>> as alloc[eb781cfc8ec1a40d]::vec::spec_from_iter_nested::SpecFromIterNested<rustc_type_ir[ff515288b0488bd5]::sty::Region<rustc_middle[b3cdc1b6cbf46bfe]::ty::context::TyCtxt>, core[10ad3fcb7c163ba6]::iter::adapters::filter_map::FilterMap<core[10ad3fcb7c163ba6]::iter::adapters::copied::Copied<core[10ad3fcb7c163ba6]::slice::iter::Iter<rustc_middle[b3cdc1b6cbf46bfe]::ty::predicate::Clause>>, rustc_trait_selection[f357c2c8ed23bfbd]::traits::outlives_for_liveness::live_args_for_alias_from_outlives_bounds::{closure#0}::{closure#0}>>>::from_iter
                               at /rustc-dev/83709eedfff36840b0749ca429ac43f5479b268f/library/alloc/src/vec/spec_from_iter_nested.rs:24:41
  32:     0x7fafea55bbea - <alloc[eb781cfc8ec1a40d]::vec::Vec<rustc_type_ir[ff515288b0488bd5]::sty::Region<rustc_middle[b3cdc1b6cbf46bfe]::ty::context::TyCtxt>> as alloc[eb781cfc8ec1a40d]::vec::spec_from_iter::SpecFromIter<rustc_type_ir[ff515288b0488bd5]::sty::Region<rustc_middle[b3cdc1b6cbf46bfe]::ty::context::TyCtxt>, core[10ad3fcb7c163ba6]::iter::adapters::filter_map::FilterMap<core[10ad3fcb7c163ba6]::iter::adapters::copied::Copied<core[10ad3fcb7c163ba6]::slice::iter::Iter<rustc_middle[b3cdc1b6cbf46bfe]::ty::predicate::Clause>>, rustc_trait_selection[f357c2c8ed23bfbd]::traits::outlives_for_liveness::live_args_for_alias_from_outlives_bounds::{closure#0}::{closure#0}>>>::from_iter
                               at /rustc-dev/83709eedfff36840b0749ca429ac43f5479b268f/library/alloc/src/vec/spec_from_iter.rs:33:9
  33:     0x7fafea55bbea - <alloc[eb781cfc8ec1a40d]::vec::Vec<rustc_type_ir[ff515288b0488bd5]::sty::Region<rustc_middle[b3cdc1b6cbf46bfe]::ty::context::TyCtxt>> as core[10ad3fcb7c163ba6]::iter::traits::collect::FromIterator<rustc_type_ir[ff515288b0488bd5]::sty::Region<rustc_middle[b3cdc1b6cbf46bfe]::ty::context::TyCtxt>>>::from_iter::<core[10ad3fcb7c163ba6]::iter::adapters::filter_map::FilterMap<core[10ad3fcb7c163ba6]::iter::adapters::copied::Copied<core[10ad3fcb7c163ba6]::slice::iter::Iter<rustc_middle[b3cdc1b6cbf46bfe]::ty::predicate::Clause>>, rustc_trait_selection[f357c2c8ed23bfbd]::traits::outlives_for_liveness::live_args_for_alias_from_outlives_bounds::{closure#0}::{closure#0}>>
                               at /rustc-dev/83709eedfff36840b0749ca429ac43f5479b268f/library/alloc/src/vec/mod.rs:3996:9
  34:     0x7fafea55bbea - <core[10ad3fcb7c163ba6]::iter::adapters::filter_map::FilterMap<core[10ad3fcb7c163ba6]::iter::adapters::copied::Copied<core[10ad3fcb7c163ba6]::slice::iter::Iter<rustc_middle[b3cdc1b6cbf46bfe]::ty::predicate::Clause>>, rustc_trait_selection[f357c2c8ed23bfbd]::traits::outlives_for_liveness::live_args_for_alias_from_outlives_bounds::{closure#0}::{closure#0}> as core[10ad3fcb7c163ba6]::iter::traits::iterator::Iterator>::collect::<alloc[eb781cfc8ec1a40d]::vec::Vec<rustc_type_ir[ff515288b0488bd5]::sty::Region<rustc_middle[b3cdc1b6cbf46bfe]::ty::context::TyCtxt>>>
                               at /rustc-dev/83709eedfff36840b0749ca429ac43f5479b268f/library/core/src/iter/traits/iterator.rs:2086:9
  35:     0x7fafea55bbea - rustc_trait_selection[f357c2c8ed23bfbd]::traits::outlives_for_liveness::live_args_for_alias_from_outlives_bounds::{closure#0}
                               at /rustc-dev/83709eedfff36840b0749ca429ac43f5479b268f/compiler/rustc_trait_selection/src/traits/outlives_for_liveness.rs:68:10
  36:     0x7fafea55bbea - rustc_trait_selection[f357c2c8ed23bfbd]::traits::outlives_for_liveness::live_args_for_alias_from_outlives_bounds
                               at /rustc-dev/83709eedfff36840b0749ca429ac43f5479b268f/compiler/rustc_trait_selection/src/traits/outlives_for_liveness.rs:26:1
  37:     0x7fafe9a01af5 - rustc_query_impl[362a007e87e4e6ba]::query_impl::live_args_for_alias_from_outlives_bounds::invoke_provider_fn::__rust_begin_short_backtrace
                               at /rustc-dev/83709eedfff36840b0749ca429ac43f5479b268f/compiler/rustc_query_impl/src/query_impl.rs:118:46
  38:     0x7fafe9792843 - rustc_query_impl[362a007e87e4e6ba]::execution::execute_job_non_incr::<rustc_middle[b3cdc1b6cbf46bfe]::query::caches::DefaultCache<rustc_type_ir[ff515288b0488bd5]::ty_kind::AliasTyKind<rustc_middle[b3cdc1b6cbf46bfe]::ty::context::TyCtxt>, rustc_middle[b3cdc1b6cbf46bfe]::query::erase::ErasedData<[u8; 8usize]>>>::{closure#0}
                               at /rustc-dev/83709eedfff36840b0749ca429ac43f5479b268f/compiler/rustc_query_impl/src/execution.rs:423:59
  39:     0x7fafe9792843 - rustc_middle[b3cdc1b6cbf46bfe]::ty::context::tls::enter_context::<rustc_query_impl[362a007e87e4e6ba]::execution::execute_job_non_incr<rustc_middle[b3cdc1b6cbf46bfe]::query::caches::DefaultCache<rustc_type_ir[ff515288b0488bd5]::ty_kind::AliasTyKind<rustc_middle[b3cdc1b6cbf46bfe]::ty::context::TyCtxt>, rustc_middle[b3cdc1b6cbf46bfe]::query::erase::ErasedData<[u8; 8usize]>>>::{closure#0}, rustc_middle[b3cdc1b6cbf46bfe]::query::erase::ErasedData<[u8; 8usize]>>::{closure#0}


< snip > 


 154:     0x7fafe75a5b5b - std[b6c055bcd493c5e1]::sys::backtrace::__rust_begin_short_backtrace::<rustc_interface[5aae249a9fcc5205]::util::run_in_thread_with_globals<rustc_interface[5aae249a9fcc5205]::util::run_in_thread_pool_with_globals<rustc_interface[5aae249a9fcc5205]::interface::run_compiler<(), rustc_driver_impl[7c2aa2e8c0ed9f29]::run_compiler::{closure#0}>::{closure#2}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>
                               at /rustc-dev/83709eedfff36840b0749ca429ac43f5479b268f/library/std/src/sys/backtrace.rs:166:18
 155:     0x7fafe75c06d9 - std[b6c055bcd493c5e1]::thread::lifecycle::spawn_unchecked::<rustc_interface[5aae249a9fcc5205]::util::run_in_thread_with_globals<rustc_interface[5aae249a9fcc5205]::util::run_in_thread_pool_with_globals<rustc_interface[5aae249a9fcc5205]::interface::run_compiler<(), rustc_driver_impl[7c2aa2e8c0ed9f29]::run_compiler::{closure#0}>::{closure#2}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>::{closure#1}::{closure#0}
                               at /rustc-dev/83709eedfff36840b0749ca429ac43f5479b268f/library/std/src/thread/lifecycle.rs:70:13
 156:     0x7fafe75c06d9 - <core[10ad3fcb7c163ba6]::panic::unwind_safe::AssertUnwindSafe<std[b6c055bcd493c5e1]::thread::lifecycle::spawn_unchecked<rustc_interface[5aae249a9fcc5205]::util::run_in_thread_with_globals<rustc_interface[5aae249a9fcc5205]::util::run_in_thread_pool_with_globals<rustc_interface[5aae249a9fcc5205]::interface::run_compiler<(), rustc_driver_impl[7c2aa2e8c0ed9f29]::run_compiler::{closure#0}>::{closure#2}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>::{closure#1}::{closure#0}> as core[10ad3fcb7c163ba6]::ops::function::FnOnce<()>>::call_once
                               at /rustc-dev/83709eedfff36840b0749ca429ac43f5479b268f/library/core/src/panic/unwind_safe.rs:275:9
 157:     0x7fafe75c06d9 - std[b6c055bcd493c5e1]::panicking::catch_unwind::do_call::<core[10ad3fcb7c163ba6]::panic::unwind_safe::AssertUnwindSafe<std[b6c055bcd493c5e1]::thread::lifecycle::spawn_unchecked<rustc_interface[5aae249a9fcc5205]::util::run_in_thread_with_globals<rustc_interface[5aae249a9fcc5205]::util::run_in_thread_pool_with_globals<rustc_interface[5aae249a9fcc5205]::interface::run_compiler<(), rustc_driver_impl[7c2aa2e8c0ed9f29]::run_compiler::{closure#0}>::{closure#2}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>::{closure#1}::{closure#0}>, ()>
                               at /rustc-dev/83709eedfff36840b0749ca429ac43f5479b268f/library/std/src/panicking.rs:576:43
 158:     0x7fafe75c06d9 - std[b6c055bcd493c5e1]::panicking::catch_unwind::<(), core[10ad3fcb7c163ba6]::panic::unwind_safe::AssertUnwindSafe<std[b6c055bcd493c5e1]::thread::lifecycle::spawn_unchecked<rustc_interface[5aae249a9fcc5205]::util::run_in_thread_with_globals<rustc_interface[5aae249a9fcc5205]::util::run_in_thread_pool_with_globals<rustc_interface[5aae249a9fcc5205]::interface::run_compiler<(), rustc_driver_impl[7c2aa2e8c0ed9f29]::run_compiler::{closure#0}>::{closure#2}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>::{closure#1}::{closure#0}>>
                               at /rustc-dev/83709eedfff36840b0749ca429ac43f5479b268f/library/std/src/panicking.rs:544:19
 159:     0x7fafe75c06d9 - std[b6c055bcd493c5e1]::panic::catch_unwind::<core[10ad3fcb7c163ba6]::panic::unwind_safe::AssertUnwindSafe<std[b6c055bcd493c5e1]::thread::lifecycle::spawn_unchecked<rustc_interface[5aae249a9fcc5205]::util::run_in_thread_with_globals<rustc_interface[5aae249a9fcc5205]::util::run_in_thread_pool_with_globals<rustc_interface[5aae249a9fcc5205]::interface::run_compiler<(), rustc_driver_impl[7c2aa2e8c0ed9f29]::run_compiler::{closure#0}>::{closure#2}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>::{closure#1}::{closure#0}>, ()>
                               at /rustc-dev/83709eedfff36840b0749ca429ac43f5479b268f/library/std/src/panic.rs:359:14
 160:     0x7fafe75c06d9 - std[b6c055bcd493c5e1]::thread::lifecycle::spawn_unchecked::<rustc_interface[5aae249a9fcc5205]::util::run_in_thread_with_globals<rustc_interface[5aae249a9fcc5205]::util::run_in_thread_pool_with_globals<rustc_interface[5aae249a9fcc5205]::interface::run_compiler<(), rustc_driver_impl[7c2aa2e8c0ed9f29]::run_compiler::{closure#0}>::{closure#2}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>::{closure#1}
                               at /rustc-dev/83709eedfff36840b0749ca429ac43f5479b268f/library/std/src/thread/lifecycle.rs:68:26
 161:     0x7fafe75c06d9 - <std[b6c055bcd493c5e1]::thread::lifecycle::spawn_unchecked<rustc_interface[5aae249a9fcc5205]::util::run_in_thread_with_globals<rustc_interface[5aae249a9fcc5205]::util::run_in_thread_pool_with_globals<rustc_interface[5aae249a9fcc5205]::interface::run_compiler<(), rustc_driver_impl[7c2aa2e8c0ed9f29]::run_compiler::{closure#0}>::{closure#2}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>::{closure#1} as core[10ad3fcb7c163ba6]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
                               at /rustc-dev/83709eedfff36840b0749ca429ac43f5479b268f/library/core/src/ops/function.rs:250:5
 162:     0x7fafea9fca6f - <alloc[eb781cfc8ec1a40d]::boxed::Box<dyn core[10ad3fcb7c163ba6]::ops::function::FnOnce<(), Output = ()> + core[10ad3fcb7c163ba6]::marker::Send> as core[10ad3fcb7c163ba6]::ops::function::FnOnce<()>>::call_once
                               at /rustc/83709eedfff36840b0749ca429ac43f5479b268f/library/alloc/src/boxed.rs:2314:9
 163:     0x7fafea9fca6f - <std[b6c055bcd493c5e1]::sys::thread::unix::Thread>::new::thread_start
                               at /rustc/83709eedfff36840b0749ca429ac43f5479b268f/library/std/src/sys/thread/unix.rs:123:17
 164:     0x7fafe4897739 - <unknown>
 165:     0x7fafe491bedc - <unknown>
 166:                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/matthias/vcs/github/CRED/rustc-ice-2026-07-30T10_01_45-117649.txt` to your bug report

note: rustc 1.99.0-nightly (83709eedf 2026-07-30) running on x86_64-unknown-linux-gnu

note: compiler flags: -Z next-solver=globally

query stack during panic:
#0 [live_args_for_alias_from_outlives_bounds] identifying live args for alias `Opaque { def_id: DefId(0:15 ~ code[e984]::make_static_foo::{opaque#0}) }`
#1 [mir_borrowck] borrow-checking `test`
... and 1 other queries... use `env RUST_BACKTRACE=1` to see the full query stack

Activity

  1. matthiaskrgr
    added
    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.
    C-bugCategory: This is a bug.
    requires-debug-assertionsThis issue requires a build of rustc or tooling with debug-assertions in some way
    WG-trait-system-refactorThe Rustc Trait System Refactor Initiative (-Znext-solver)
    on Jul 30, 2026
  2. rustbot
    added
    needs-triageThis issue may need triage. Remove when done. See docs forge.rust-lang.org/release/issue-triaging
    on Jul 30, 2026

  3. lqd commented on Jul 30, 2026

    @lqd
    lqd
    on Jul 30, 2026
    Member

    cc @jackh726

  4. Zalathar
    added 3 commits that reference this issue on Sep 17, 2026

    Rollup merge of rust-lang#160212 - Dnreikronos:traits/rigid_alias_liv…

    4ce0c41

    Rollup merge of rust-lang#160212 - Dnreikronos:traits/rigid_alias_liv…

    199e04f

    Rollup merge of rust-lang#160212 - Dnreikronos:traits/rigid_alias_liv…

    b33d46d
  5. JonathanBrouwer
    added 2 commits that reference this issue on Sep 17, 2026

    Rollup merge of rust-lang#160212 - Dnreikronos:traits/rigid_alias_liv…

    5b1c6c2

    Rollup merge of rust-lang#160212 - Dnreikronos:traits/rigid_alias_liv…

    13225fe
  6. rust-bors
    closed this as completedin 13225feon Sep 17, 2026
  7. rustbot
    removed
    needs-triageThis issue may need triage. Remove when done. See docs forge.rust-lang.org/release/issue-triaging
    on Sep 17, 2026
  8. rust-bors
    added a commit that references this issue on Sep 17, 2026

    Unrolled build for #160212 in rollup 162907

    e64de43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    C-bugCategory: This is a bug.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.WG-trait-system-refactorThe Rustc Trait System Refactor Initiative (-Znext-solver)requires-debug-assertionsThis issue requires a build of rustc or tooling with debug-assertions in some way

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions