[ICE]: assumptions on binders: `None` context.rs

### Code

```Rust
//@ compile-flags: -Znext-solver=globally  -Zassumptions-on-binders
#![feature(type_alias_impl_trait)]
trait Trait {
    type Assoc<'a>;
}
type Foo = impl for<'a> Trait<Assoc<'a> = FooAssoc<'a>>;
type FooAssoc<'a> = impl ?Sized;
#[define_opaque(Foo)]
fn foo() -> Foo {}

fn main() {}

```


### Meta


`rustc --version --verbose`:
```
rustc 1.99.0-nightly (da86f4d07 2026-07-24)
binary: rustc
commit-hash: da86f4d0726be475afbbffe40cb2f65741c51ad3
commit-date: 2026-07-24
host: x86_64-unknown-linux-gnu
release: 1.99.0-nightly
LLVM version: 22.1.8
```

### Error output

```
<output>
```


<details><summary><strong>Backtrace</strong></summary>
<p>

```
thread 'rustc' (2091368) panicked at /rustc-dev/da86f4d0726be475afbbffe40cb2f65741c51ad3/compiler/rustc_infer/src/infer/context.rs:56:71:
called `Option::unwrap()` on a `None` value
stack backtrace:
   0:     0x7f501383a956 - <<std[4614d3538cc64bc6]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[9cde01f631c9b89d]::fmt::Display>::fmt
   1:     0x7f5013e0dd52 - core[9cde01f631c9b89d]::fmt::write
   2:     0x7f501384faac - <std[4614d3538cc64bc6]::sys::stdio::unix::Stderr as core[9cde01f631c9b89d]::io::write::Write>::write_fmt
   3:     0x7f501380c58a - std[4614d3538cc64bc6]::panicking::default_hook::{closure#0}
   4:     0x7f501382cff3 - std[4614d3538cc64bc6]::panicking::default_hook
   5:     0x7f50127aa91b - std[4614d3538cc64bc6]::panicking::update_hook::<alloc[8bb6ecabe8c35eca]::boxed::Box<rustc_driver_impl[edb36ef1619d9191]::install_ice_hook::{closure#1}>>::{closure#0}
   6:     0x7f501382d492 - std[4614d3538cc64bc6]::panicking::panic_with_hook
   7:     0x7f501380c674 - std[4614d3538cc64bc6]::panicking::panic_handler::{closure#0}
   8:     0x7f5013802fd9 - std[4614d3538cc64bc6]::sys::backtrace::__rust_end_short_backtrace::<std[4614d3538cc64bc6]::panicking::panic_handler::{closure#0}, !>
   9:     0x7f501380df9d - __rustc[b6a9bdc199f3cce9]::rust_begin_unwind
  10:     0x7f501063768c - core[9cde01f631c9b89d]::panicking::panic_fmt
  11:     0x7f50109c5562 - core[9cde01f631c9b89d]::panicking::panic
  12:     0x7f5011287f39 - core[9cde01f631c9b89d]::option::unwrap_failed
  13:     0x7f5012bc76d5 - <rustc_infer[5e0ad29554e2cafa]::infer::InferCtxt as rustc_type_ir[76ae2ce2a1e3588e]::infer_ctxt::InferCtxtLike>::get_placeholder_assumptions
  14:     0x7f501356dbe2 - rustc_type_ir[76ae2ce2a1e3588e]::region_constraint::eagerly_handle_placeholders_in_universe::<rustc_infer[5e0ad29554e2cafa]::infer::InferCtxt, rustc_middle[95ffed4308bd885e]::ty::context::TyCtxt>
  15:     0x7f5014be1cbe - <rustc_next_trait_solver[8e06346dd9ceb5d]::solve::eval_ctxt::EvalCtxt<rustc_trait_selection[9bdecf7dd2eccf75]::solve::delegate::SolverDelegate, rustc_middle[95ffed4308bd885e]::ty::context::TyCtxt>>::evaluate_added_goals_and_make_canonical_response::{closure#0}
  16:     0x7f501504e7e9 - <rustc_next_trait_solver[8e06346dd9ceb5d]::solve::search_graph::SearchGraphDelegate<rustc_trait_selection[9bdecf7dd2eccf75]::solve::delegate::SolverDelegate> as rustc_type_ir[76ae2ce2a1e3588e]::search_graph::Delegate>::compute_goal::{closure#0}
  17:     0x7f501144ed4c - <rustc_type_ir[76ae2ce2a1e3588e]::search_graph::SearchGraph<rustc_next_trait_solver[8e06346dd9ceb5d]::solve::search_graph::SearchGraphDelegate<rustc_trait_selection[9bdecf7dd2eccf75]::solve::delegate::SolverDelegate>, rustc_middle[95ffed4308bd885e]::ty::context::TyCtxt>>::evaluate_goal::{closure#0}
  18:     0x7f501492f77a - <rustc_next_trait_solver[8e06346dd9ceb5d]::solve::eval_ctxt::EvalCtxt<rustc_trait_selection[9bdecf7dd2eccf75]::solve::delegate::SolverDelegate, rustc_middle[95ffed4308bd885e]::ty::context::TyCtxt>>::evaluate_goal_no_fast_paths
  19:     0x7f501491da89 - <rustc_next_trait_solver[8e06346dd9ceb5d]::solve::eval_ctxt::EvalCtxt<rustc_trait_selection[9bdecf7dd2eccf75]::solve::delegate::SolverDelegate, rustc_middle[95ffed4308bd885e]::ty::context::TyCtxt>>::evaluate_goal
  20:     0x7f501492b9e3 - <rustc_next_trait_solver[8e06346dd9ceb5d]::normalize::NormalizationFolder<rustc_infer[5e0ad29554e2cafa]::infer::InferCtxt, rustc_middle[95ffed4308bd885e]::ty::context::TyCtxt, <rustc_next_trait_solver[8e06346dd9ceb5d]::solve::eval_ctxt::EvalCtxt<rustc_trait_selection[9bdecf7dd2eccf75]::solve::delegate::SolverDelegate, rustc_middle[95ffed4308bd885e]::ty::context::TyCtxt>>::normalize<rustc_middle[95ffed4308bd885e]::ty::Ty>::{closure#0}>>::normalize_alias_term
  21:     0x7f5014c511e0 - <rustc_next_trait_solver[8e06346dd9ceb5d]::normalize::NormalizationFolder<rustc_infer[5e0ad29554e2cafa]::infer::InferCtxt, rustc_middle[95ffed4308bd885e]::ty::context::TyCtxt, <rustc_next_trait_solver[8e06346dd9ceb5d]::solve::eval_ctxt::EvalCtxt<rustc_trait_selection[9bdecf7dd2eccf75]::solve::delegate::SolverDelegate, rustc_middle[95ffed4308bd885e]::ty::context::TyCtxt>>::normalize<rustc_middle[95ffed4308bd885e]::ty::Ty>::{closure#0}> as rustc_type_ir[76ae2ce2a1e3588e]::fold::FallibleTypeFolder<rustc_middle[95ffed4308bd885e]::ty::context::TyCtxt>>::try_fold_ty::{closure#0}
  22:     0x7f5014bda919 - <rustc_next_trait_solver[8e06346dd9ceb5d]::solve::eval_ctxt::EvalCtxt<rustc_trait_selection[9bdecf7dd2eccf75]::solve::delegate::SolverDelegate, rustc_middle[95ffed4308bd885e]::ty::context::TyCtxt>>::normalize::<rustc_middle[95ffed4308bd885e]::ty::Ty>
  23:     0x7f501504d47c - <rustc_next_trait_solver[8e06346dd9ceb5d]::solve::search_graph::SearchGraphDelegate<rustc_trait_selection[9bdecf7dd2eccf75]::solve::delegate::SolverDelegate> as rustc_type_ir[76ae2ce2a1e3588e]::search_graph::Delegate>::compute_goal::{closure#0}
  24:     0x7f501144ed4c - <rustc_type_ir[76ae2ce2a1e3588e]::search_graph::SearchGraph<rustc_next_trait_solver[8e06346dd9ceb5d]::solve::search_graph::SearchGraphDelegate<rustc_trait_selection[9bdecf7dd2eccf75]::solve::delegate::SolverDelegate>, rustc_middle[95ffed4308bd885e]::ty::context::TyCtxt>>::evaluate_goal::{closure#0}
  25:     0x7f501492f77a - <rustc_next_trait_solver[8e06346dd9ceb5d]::solve::eval_ctxt::EvalCtxt<rustc_trait_selection[9bdecf7dd2eccf75]::solve::delegate::SolverDelegate, rustc_middle[95ffed4308bd885e]::ty::context::TyCtxt>>::evaluate_goal_no_fast_paths
  26:     0x7f5014c4ffbc - <rustc_trait_selection[9bdecf7dd2eccf75]::solve::delegate::SolverDelegate as rustc_next_trait_solver[8e06346dd9ceb5d]::solve::eval_ctxt::SolverDelegateEvalExt>::evaluate_root_goal
  27:     0x7f5014c4f8ad - <rustc_next_trait_solver[8e06346dd9ceb5d]::normalize::NormalizationFolder<rustc_infer[5e0ad29554e2cafa]::infer::InferCtxt, rustc_middle[95ffed4308bd885e]::ty::context::TyCtxt, rustc_trait_selection[9bdecf7dd2eccf75]::solve::normalize::normalize_with_universes<rustc_type_ir[76ae2ce2a1e3588e]::ty_kind::FnSig<rustc_middle[95ffed4308bd885e]::ty::context::TyCtxt>>::{closure#0}>>::normalize_alias_term
  28:     0x7f5014c4cf86 - <rustc_next_trait_solver[8e06346dd9ceb5d]::normalize::NormalizationFolder<rustc_infer[5e0ad29554e2cafa]::infer::InferCtxt, rustc_middle[95ffed4308bd885e]::ty::context::TyCtxt, rustc_trait_selection[9bdecf7dd2eccf75]::solve::normalize::normalize_with_universes<rustc_middle[95ffed4308bd885e]::ty::Ty>::{closure#0}> as rustc_type_ir[76ae2ce2a1e3588e]::fold::FallibleTypeFolder<rustc_middle[95ffed4308bd885e]::ty::context::TyCtxt>>::try_fold_ty::{closure#0}
  29:     0x7f50140269ea - <rustc_hir_typeck[45d5e71bf1ca5da4]::fn_ctxt::FnCtxt>::normalize::<rustc_middle[95ffed4308bd885e]::ty::Ty>
  30:     0x7f50150a80f6 - rustc_hir_typeck[45d5e71bf1ca5da4]::typeck_with_inspect::{closure#0}
  31:     0x7f50150a6b30 - rustc_query_impl[2c4821f97c2126e]::query_impl::typeck_root::invoke_provider_fn::__rust_begin_short_backtrace
  32:     0x7f50144dc429 - rustc_query_impl[2c4821f97c2126e]::execution::try_execute_query::<rustc_data_structures[353073ebb2751e77]::vec_cache::VecCache<rustc_span[48c26318c8901c96]::def_id::LocalDefId, rustc_middle[95ffed4308bd885e]::query::erase::ErasedData<[u8; 8usize]>, rustc_middle[95ffed4308bd885e]::dep_graph::graph::DepNodeIndex>, false>
  33:     0x7f50144dbe83 - rustc_query_impl[2c4821f97c2126e]::query_impl::typeck_root::execute_query_non_incr::__rust_end_short_backtrace
  34:     0x7f50144e2e1a - rustc_mir_build[742a60ab1f6baf98]::thir::pattern::check_match::check_match
  35:     0x7f50144e1f87 - rustc_query_impl[2c4821f97c2126e]::query_impl::check_match::invoke_provider_fn::__rust_begin_short_backtrace
  36:     0x7f5014cc2871 - rustc_query_impl[2c4821f97c2126e]::execution::try_execute_query::<rustc_data_structures[353073ebb2751e77]::vec_cache::VecCache<rustc_span[48c26318c8901c96]::def_id::LocalDefId, rustc_middle[95ffed4308bd885e]::query::erase::ErasedData<[u8; 1usize]>, rustc_middle[95ffed4308bd885e]::dep_graph::graph::DepNodeIndex>, false>
  37:     0x7f5014cc2576 - rustc_query_impl[2c4821f97c2126e]::query_impl::check_match::execute_query_non_incr::__rust_end_short_backtrace
  38:     0x7f5014868958 - rustc_mir_build[742a60ab1f6baf98]::builder::build_mir_inner_impl
  39:     0x7f5013e0f682 - rustc_mir_transform[f53ac8d7916a9ac0]::mir_built
  40:     0x7f50144dc429 - rustc_query_impl[2c4821f97c2126e]::execution::try_execute_query::<rustc_data_structures[353073ebb2751e77]::vec_cache::VecCache<rustc_span[48c26318c8901c96]::def_id::LocalDefId, rustc_middle[95ffed4308bd885e]::query::erase::ErasedData<[u8; 8usize]>, rustc_middle[95ffed4308bd885e]::dep_graph::graph::DepNodeIndex>, false>
  41:     0x7f50144dc0c3 - rustc_query_impl[2c4821f97c2126e]::query_impl::mir_built::execute_query_non_incr::__rust_end_short_backtrace
  42:     0x7f5013e2f702 - rustc_mir_transform[f53ac8d7916a9ac0]::ffi_unwind_calls::has_ffi_unwind_calls
  43:     0x7f5013e2f135 - rustc_query_impl[2c4821f97c2126e]::query_impl::has_ffi_unwind_calls::invoke_provider_fn::__rust_begin_short_backtrace
  44:     0x7f5014cc2871 - rustc_query_impl[2c4821f97c2126e]::execution::try_execute_query::<rustc_data_structures[353073ebb2751e77]::vec_cache::VecCache<rustc_span[48c26318c8901c96]::def_id::LocalDefId, rustc_middle[95ffed4308bd885e]::query::erase::ErasedData<[u8; 1usize]>, rustc_middle[95ffed4308bd885e]::dep_graph::graph::DepNodeIndex>, false>
  45:     0x7f5014cc2442 - rustc_query_impl[2c4821f97c2126e]::query_impl::has_ffi_unwind_calls::execute_query_non_incr::__rust_end_short_backtrace
  46:     0x7f50144a9b34 - rustc_mir_transform[f53ac8d7916a9ac0]::mir_promoted
  47:     0x7f50144a99a0 - rustc_query_impl[2c4821f97c2126e]::query_impl::mir_promoted::invoke_provider_fn::__rust_begin_short_backtrace
  48:     0x7f50143d2101 - rustc_query_impl[2c4821f97c2126e]::execution::try_execute_query::<rustc_data_structures[353073ebb2751e77]::vec_cache::VecCache<rustc_span[48c26318c8901c96]::def_id::LocalDefId, rustc_middle[95ffed4308bd885e]::query::erase::ErasedData<[u8; 16usize]>, rustc_middle[95ffed4308bd885e]::dep_graph::graph::DepNodeIndex>, false>
  49:     0x7f5014c98fd9 - rustc_query_impl[2c4821f97c2126e]::query_impl::mir_promoted::execute_query_non_incr::__rust_end_short_backtrace
  50:     0x7f5014c9922c - rustc_borrowck[767bd9a3fe4598]::mir_borrowck
  51:     0x7f5014c990a7 - rustc_query_impl[2c4821f97c2126e]::query_impl::mir_borrowck::invoke_provider_fn::__rust_begin_short_backtrace
  52:     0x7f50144dc429 - rustc_query_impl[2c4821f97c2126e]::execution::try_execute_query::<rustc_data_structures[353073ebb2751e77]::vec_cache::VecCache<rustc_span[48c26318c8901c96]::def_id::LocalDefId, rustc_middle[95ffed4308bd885e]::query::erase::ErasedData<[u8; 8usize]>, rustc_middle[95ffed4308bd885e]::dep_graph::graph::DepNodeIndex>, false>
  53:     0x7f50144d984b - rustc_query_impl[2c4821f97c2126e]::query_impl::mir_borrowck::execute_query_non_incr::__rust_end_short_backtrace
  54:     0x7f501293e42c - <rustc_hir_analysis[640c65828d0efaa4]::collect::type_of::opaque::TaitConstraintLocator>::check
  55:     0x7f501297e881 - rustc_hir_analysis[640c65828d0efaa4]::collect::type_of::opaque::find_opaque_ty_constraints_for_tait
  56:     0x7f5015e4d5ad - rustc_hir_analysis[640c65828d0efaa4]::collect::type_of::type_of_opaque.cold
  57:     0x7f5013e1ba0d - rustc_query_impl[2c4821f97c2126e]::execution::try_execute_query::<rustc_middle[95ffed4308bd885e]::query::caches::DefIdCache<rustc_middle[95ffed4308bd885e]::query::erase::ErasedData<[u8; 8usize]>>, false>
  58:     0x7f5014fd74ce - rustc_query_impl[2c4821f97c2126e]::query_impl::type_of_opaque::execute_query_non_incr::__rust_end_short_backtrace
  59:     0x7f5014124dd6 - rustc_hir_analysis[640c65828d0efaa4]::collect::type_of::type_of
  60:     0x7f501412b174 - rustc_query_impl[2c4821f97c2126e]::query_impl::type_of::invoke_provider_fn::__rust_begin_short_backtrace
  61:     0x7f5013e1ba0d - rustc_query_impl[2c4821f97c2126e]::execution::try_execute_query::<rustc_middle[95ffed4308bd885e]::query::caches::DefIdCache<rustc_middle[95ffed4308bd885e]::query::erase::ErasedData<[u8; 8usize]>>, false>
  62:     0x7f5013e1b590 - rustc_query_impl[2c4821f97c2126e]::query_impl::type_of::execute_query_non_incr::__rust_end_short_backtrace
  63:     0x7f5014c6435f - rustc_hir_analysis[640c65828d0efaa4]::check::check::check_opaque
  64:     0x7f5014ce2387 - rustc_hir_analysis[640c65828d0efaa4]::check::check::check_item_type
  65:     0x7f5014cc327a - rustc_hir_analysis[640c65828d0efaa4]::check::wfcheck::check_well_formed
  66:     0x7f5014cc325b - rustc_query_impl[2c4821f97c2126e]::query_impl::check_well_formed::invoke_provider_fn::__rust_begin_short_backtrace
  67:     0x7f5014cc2871 - rustc_query_impl[2c4821f97c2126e]::execution::try_execute_query::<rustc_data_structures[353073ebb2751e77]::vec_cache::VecCache<rustc_span[48c26318c8901c96]::def_id::LocalDefId, rustc_middle[95ffed4308bd885e]::query::erase::ErasedData<[u8; 1usize]>, rustc_middle[95ffed4308bd885e]::dep_graph::graph::DepNodeIndex>, false>
  68:     0x7f5014cc2607 - rustc_query_impl[2c4821f97c2126e]::query_impl::check_well_formed::execute_query_non_incr::__rust_end_short_backtrace
  69:     0x7f5014cbf03d - rustc_hir_analysis[640c65828d0efaa4]::check::wfcheck::check_type_wf
  70:     0x7f5014cbeead - rustc_query_impl[2c4821f97c2126e]::query_impl::check_type_wf::invoke_provider_fn::__rust_begin_short_backtrace
  71:     0x7f5014fdcb92 - rustc_query_impl[2c4821f97c2126e]::execution::try_execute_query::<rustc_middle[95ffed4308bd885e]::query::caches::SingleCache<rustc_middle[95ffed4308bd885e]::query::erase::ErasedData<[u8; 1usize]>>, false>
  72:     0x7f5014fdc977 - rustc_query_impl[2c4821f97c2126e]::query_impl::check_type_wf::execute_query_non_incr::__rust_end_short_backtrace
  73:     0x7f50144de8e4 - rustc_hir_analysis[640c65828d0efaa4]::check_crate
  74:     0x7f50144d884d - rustc_interface[7615e26fe726d3dc]::passes::analysis
  75:     0x7f5014fdd987 - rustc_query_impl[2c4821f97c2126e]::execution::try_execute_query::<rustc_middle[95ffed4308bd885e]::query::caches::SingleCache<rustc_middle[95ffed4308bd885e]::query::erase::ErasedData<[u8; 0usize]>>, false>
  76:     0x7f5014fdd669 - rustc_query_impl[2c4821f97c2126e]::query_impl::analysis::execute_query_non_incr::__rust_end_short_backtrace
  77:     0x7f5014f94355 - rustc_interface[7615e26fe726d3dc]::interface::run_compiler::<(), rustc_driver_impl[edb36ef1619d9191]::run_compiler::{closure#0}>::{closure#2}
  78:     0x7f5014feb424 - std[4614d3538cc64bc6]::sys::backtrace::__rust_begin_short_backtrace::<rustc_interface[7615e26fe726d3dc]::util::run_in_thread_with_globals<rustc_interface[7615e26fe726d3dc]::util::run_in_thread_pool_with_globals<rustc_interface[7615e26fe726d3dc]::interface::run_compiler<(), rustc_driver_impl[edb36ef1619d9191]::run_compiler::{closure#0}>::{closure#2}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>
  79:     0x7f5014feb1ed - <std[4614d3538cc64bc6]::thread::lifecycle::spawn_unchecked<rustc_interface[7615e26fe726d3dc]::util::run_in_thread_with_globals<rustc_interface[7615e26fe726d3dc]::util::run_in_thread_pool_with_globals<rustc_interface[7615e26fe726d3dc]::interface::run_compiler<(), rustc_driver_impl[edb36ef1619d9191]::run_compiler::{closure#0}>::{closure#2}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>::{closure#1} as core[9cde01f631c9b89d]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
  80:     0x7f5014fee986 - <std[4614d3538cc64bc6]::sys::thread::unix::Thread>::new::thread_start
  81:     0x7f500e697739 - <unknown>
  82:     0x7f500e71bedc - <unknown>
  83:                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/assum/rustc-ice-2026-07-25T09_25_20-2091358.txt` to your bug report

note: rustc 1.99.0-nightly (da86f4d07 2026-07-24) running on x86_64-unknown-linux-gnu

note: compiler flags: -Z next-solver=globally -Z assumptions-on-binders

query stack during panic:
#0 [typeck_root] type-checking `foo`
#1 [check_match] match-checking `foo`
#2 [mir_built] building MIR for `foo`
#3 [has_ffi_unwind_calls] checking if `foo` contains FFI-unwind calls
#4 [mir_promoted] promoting constants in MIR for `foo`
#5 [mir_borrowck] borrow-checking `foo`
#6 [type_of_opaque] computing type of opaque `Foo::{opaque#0}`
#7 [type_of] computing type of `Foo::{opaque#0}`
#8 [check_well_formed] checking that `Foo::{opaque#0}` is well-formed
#9 [check_type_wf] checking that types are well-formed
#10 [analysis] running analysis passes on crate `a`
end of query stack
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: OpaqueTypeStorage { opaque_types: {OpaqueTypeKey { def_id: DefId(0:7 ~ a[191a]::Foo::{opaque#0}), args: [] }: ProvisionalHiddenType { span: no-location (#0), ty: ?0t }, OpaqueTypeKey { def_id: DefId(0:11 ~ a[191a]::FooAssoc::{opaque#0}), args: ['!1_0.Named(DefId(0:8 ~ a[191a]::Foo::{opaque#0}::'a)), '!1_0.Named(DefId(0:8 ~ a[191a]::Foo::{opaque#0}::'a))] }: ProvisionalHiddenType { span: no-location (#0), ty: ?2t }, OpaqueTypeKey { def_id: DefId(0:11 ~ a[191a]::FooAssoc::{opaque#0}), args: ['!2_0.Named(DefId(0:8 ~ a[191a]::Foo::{opaque#0}::'a)), '!2_0.Named(DefId(0:8 ~ a[191a]::Foo::{opaque#0}::'a))] }: ProvisionalHiddenType { span: no-location (#0), ty: ?13t }, OpaqueTypeKey { def_id: DefId(0:11 ~ a[191a]::FooAssoc::{opaque#0}), args: ['!3_0.Named(DefId(0:8 ~ a[191a]::Foo::{opaque#0}::'a)), '!3_0.Named(DefId(0:8 ~ a[191a]::Foo::{opaque#0}::'a))] }: ProvisionalHiddenType { span: no-location (#0), ty: ?26t }, OpaqueTypeKey { def_id: DefId(0:11 ~ a[191a]::FooAssoc::{opaque#0}), args: ['!4_0.Named(DefId(0:8 ~ a[191a]::Foo::{opaque#0}::'a)), '!4_0.Named(DefId(0:8 ~ a[191a]::Foo::{opaque#0}::'a))] }: ProvisionalHiddenType { span: no-location (#0), ty: ?43t }, OpaqueTypeKey { def_id: DefId(0:11 ~ a[191a]::FooAssoc::{opaque#0}), args: ['!5_0.Named(DefId(0:8 ~ a[191a]::Foo::{opaque#0}::'a)), '!5_0.Named(DefId(0:8 ~ a[191a]::Foo::{opaque#0}::'a))] }: ProvisionalHiddenType { span: no-location (#0), ty: ?64t }, OpaqueTypeKey { def_id: DefId(0:11 ~ a[191a]::FooAssoc::{opaque#0}), args: ['!6_0.Named(DefId(0:8 ~ a[191a]::Foo::{opaque#0}::'a)), '!6_0.Named(DefId(0:8 ~ a[191a]::Foo::{opaque#0}::'a))] }: ProvisionalHiddenType { span: no-location (#0), ty: ?89t }, OpaqueTypeKey { def_id: DefId(0:11 ~ a[191a]::FooAssoc::{opaque#0}), args: ['!7_0.Named(DefId(0:8 ~ a[191a]::Foo::{opaque#0}::'a)), '!7_0.Named(DefId(0:8 ~ a[191a]::Foo::{opaque#0}::'a))] }: ProvisionalHiddenType { span: no-location (#0), ty: ?118t }, OpaqueTypeKey { def_id: DefId(0:11 ~ a[191a]::FooAssoc::{opaque#0}), args: ['!8_0.Named(DefId(0:8 ~ a[191a]::Foo::{opaque#0}::'a)), '!8_0.Named(DefId(0:8 ~ a[191a]::Foo::{opaque#0}::'a))] }: ProvisionalHiddenType { span: no-location (#0), ty: ?151t }, OpaqueTypeKey { def_id: DefId(0:11 ~ a[191a]::FooAssoc::{opaque#0}), args: ['!9_0.Named(DefId(0:8 ~ a[191a]::Foo::{opaque#0}::'a)), '!9_0.Named(DefId(0:8 ~ a[191a]::Foo::{opaque#0}::'a))] }: ProvisionalHiddenType { span: no-location (#0), ty: ?188t }}, duplicate_entries: [] }
  |
  = note: delayed at /rustc-dev/da86f4d0726be475afbbffe40cb2f65741c51ad3/compiler/rustc_infer/src/infer/mod.rs:370:43
             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>::delayed_bug::<alloc::string::String>
             4: core::ptr::drop_glue::<rustc_infer::infer::InferCtxt>
             5: <rustc_next_trait_solver::solve::search_graph::SearchGraphDelegate<rustc_trait_selection::solve::delegate::SolverDelegate> as rustc_type_ir::search_graph::Delegate>::compute_goal::{closure#0}
             6: <rustc_type_ir::search_graph::SearchGraph<rustc_next_trait_solver::solve::search_graph::SearchGraphDelegate<rustc_trait_selection::solve::delegate::SolverDelegate>, rustc_middle::ty::context::TyCtxt>>::evaluate_goal::{closure#0}
             7: <rustc_next_trait_solver::solve::eval_ctxt::EvalCtxt<rustc_trait_selection::solve::delegate::SolverDelegate, rustc_middle::ty::context::TyCtxt>>::evaluate_goal_no_fast_paths
             8: <rustc_next_trait_solver::solve::eval_ctxt::EvalCtxt<rustc_trait_selection::solve::delegate::SolverDelegate, rustc_middle::ty::context::TyCtxt>>::evaluate_goal
             9: <rustc_next_trait_solver::normalize::NormalizationFolder<rustc_infer::infer::InferCtxt, rustc_middle::ty::context::TyCtxt, <rustc_next_trait_solver::solve::eval_ctxt::EvalCtxt<rustc_trait_selection::solve::delegate::SolverDelegate, rustc_middle::ty::context::TyCtxt>>::normalize<rustc_middle::ty::Ty>::{closure#0}>>::normalize_alias_term
```

</p>
</details>

Navigation Menu

Uh oh!

Uh oh!

[ICE]: assumptions on binders: `None` context.rs #159889

Code

Meta

Error output

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Uh oh!

Uh oh!

[ICE]: assumptions on binders: None context.rs #159889

Description

Code

Meta

Error output

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions

[ICE]: assumptions on binders: `None` context.rs #159889