[ICE]: AOB: called `Result::unwrap()` on an `Err` value: Sorts(ExpectedFound 

original:
````rust
//@compile-flags: -Zassumptions-on-binders
#![feature(non_lifetime_binders)]

trait Trait<T> {}

impl<T> Trait<T> for i32 {}

fn produce() -> impl for<T> Trait<T> {
    16
}

fn main() {}

````

Version information
````
rustc 1.99.0-nightly (153ecc4f7 2026-08-09)
binary: rustc
commit-hash: 153ecc4f74035b709bb3e1eb9546f1d934865042
commit-date: 2026-08-09
host: x86_64-unknown-linux-gnu
release: 1.99.0-nightly
LLVM version: 23.1.0

````

Possibly related line of code:
https://github.com/rust-lang/rust/blob/153ecc4f74035b709bb3e1eb9546f1d934865042/compiler/rustc_next_trait_solver/src/canonical/mod.rs#L464-L476

Command:
`/home/matthias/.rustup/toolchains/master/bin/rustc -Zassumptions-on-binders`

<details><summary><strong>Program output</strong></summary>
<p>

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


thread 'rustc' (3985275) panicked at /rustc-dev/153ecc4f74035b709bb3e1eb9546f1d934865042/compiler/rustc_next_trait_solver/src/canonical/mod.rs:470:40:
called `Result::unwrap()` on an `Err` value: Sorts(ExpectedFound { expected: !1_DefId(0:9 ~ a[1da6]::produce::{opaque#0}::T), found: !2_DefId(0:9 ~ a[1da6]::produce::{opaque#0}::T) })
stack backtrace:
   0:     0x7f49d0b12276 - <<std[57850c793645533b]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[9bdc299a1968c5b0]::fmt::Display>::fmt
   1:     0x7f49d1211ccf - core[9bdc299a1968c5b0]::fmt::write
   2:     0x7f49d0b2719c - <std[57850c793645533b]::sys::stdio::unix::Stderr as core[9bdc299a1968c5b0]::io::write::Write>::write_fmt
   3:     0x7f49d0ae52ea - std[57850c793645533b]::panicking::default_hook::{closure#0}
   4:     0x7f49d0b06003 - std[57850c793645533b]::panicking::default_hook
   5:     0x7f49cfa5ffba - std[57850c793645533b]::panicking::update_hook::<alloc[4d06ea0533812a49]::boxed::Box<rustc_driver_impl[cfe12dfe914b8b50]::install_ice_hook::{closure#1}>>::{closure#0}
   6:     0x7f49d0b064a2 - std[57850c793645533b]::panicking::panic_with_hook
   7:     0x7f49d0ae53a2 - std[57850c793645533b]::panicking::panic_handler::{closure#0}
   8:     0x7f49d0add019 - std[57850c793645533b]::sys::backtrace::__rust_end_short_backtrace::<std[57850c793645533b]::panicking::panic_handler::{closure#0}, !>
   9:     0x7f49d0ae6d7d - __rustc[45e3edec2f668c64]::rust_begin_unwind
  10:     0x7f49cd6e212c - core[9bdc299a1968c5b0]::panicking::panic_fmt
  11:     0x7f49ccf433f2 - core[9bdc299a1968c5b0]::result::unwrap_failed
  12:     0x7f49d2d1de1e - rustc_next_trait_solver[b730ef69a3349290]::canonical::unify_query_var_values::<rustc_trait_selection[aa3edcd98de4556d]::solve::delegate::SolverDelegate, rustc_middle[34e600d74c824be8]::ty::context::TyCtxt>.cold
  13:     0x7f49d231bec8 - rustc_next_trait_solver[b730ef69a3349290]::canonical::instantiate_canonical_state::<rustc_trait_selection[aa3edcd98de4556d]::solve::delegate::SolverDelegate, rustc_middle[34e600d74c824be8]::ty::context::TyCtxt, ()>
  14:     0x7f49d231ca94 - <rustc_trait_selection[aa3edcd98de4556d]::solve::inspect::analyse::InspectCandidate>::instantiate_nested_goals
  15:     0x7f49d231fd5e - <rustc_trait_selection[aa3edcd98de4556d]::solve::fulfill::derive_errors::BestObligation as rustc_trait_selection[aa3edcd98de4556d]::solve::inspect::analyse::ProofTreeVisitor>::visit_goal
  16:     0x7f49d232070a - <rustc_trait_selection[aa3edcd98de4556d]::solve::fulfill::derive_errors::BestObligation as rustc_trait_selection[aa3edcd98de4556d]::solve::inspect::analyse::ProofTreeVisitor>::visit_goal
  17:     0x7f49d231fae2 - <rustc_infer[8002cf8aa1f7f527]::infer::InferCtxt as rustc_trait_selection[aa3edcd98de4556d]::solve::inspect::analyse::InferCtxtProofTreeExt>::visit_proof_tree_at_depth::<rustc_trait_selection[aa3edcd98de4556d]::solve::fulfill::derive_errors::BestObligation>
  18:     0x7f49d2327e42 - rustc_trait_selection[aa3edcd98de4556d]::solve::fulfill::derive_errors::find_best_leaf_obligation
  19:     0x7f49d2327754 - <rustc_trait_selection[aa3edcd98de4556d]::traits::FulfillmentError as rustc_infer[8002cf8aa1f7f527]::traits::engine::FromSolverError<rustc_trait_selection[aa3edcd98de4556d]::solve::fulfill::NextSolverError>>::from_solver_error
  20:     0x7f49d1b947d9 - <rustc_trait_selection[aa3edcd98de4556d]::solve::fulfill::FulfillmentCtxt<rustc_trait_selection[aa3edcd98de4556d]::traits::FulfillmentError> as rustc_infer[8002cf8aa1f7f527]::traits::engine::TraitEngine<rustc_trait_selection[aa3edcd98de4556d]::traits::FulfillmentError>>::try_evaluate_obligations
  21:     0x7f49d142cd54 - <rustc_hir_typeck[3fc82320cadb9167]::fn_ctxt::FnCtxt>::resolve_vars_with_obligations::<rustc_middle[34e600d74c824be8]::ty::Ty>
  22:     0x7f49d142db75 - <rustc_hir_typeck[3fc82320cadb9167]::fn_ctxt::FnCtxt>::check_expr_with_expectation_and_args
  23:     0x7f49d13d52ba - rustc_hir_typeck[3fc82320cadb9167]::check::check_fn
  24:     0x7f49d251e715 - rustc_hir_typeck[3fc82320cadb9167]::typeck_with_inspect::{closure#0}
  25:     0x7f49d251cc70 - rustc_query_impl[81998de6d015f587]::query_impl::typeck_root::invoke_provider_fn::__rust_begin_short_backtrace
  26:     0x7f49d1a1a4f5 - rustc_query_impl[81998de6d015f587]::execution::try_execute_query::<rustc_data_structures[1e0d9addf3b98731]::vec_cache::VecCache<rustc_span[a39783a4548efb95]::def_id::LocalDefId, rustc_middle[34e600d74c824be8]::query::erase::ErasedData<[u8; 8usize]>, rustc_middle[34e600d74c824be8]::dep_graph::graph::DepNodeIndex>, false>
  27:     0x7f49d1a19f43 - rustc_query_impl[81998de6d015f587]::query_impl::typeck_root::execute_query_non_incr::__rust_end_short_backtrace
  28:     0x7f49d152fed8 - rustc_mir_build[89777eba57bc2271]::thir::pattern::check_match::check_match
  29:     0x7f49d152ef7d - rustc_query_impl[81998de6d015f587]::query_impl::check_match::invoke_provider_fn::__rust_begin_short_backtrace
  30:     0x7f49d1f9189f - rustc_query_impl[81998de6d015f587]::execution::try_execute_query::<rustc_data_structures[1e0d9addf3b98731]::vec_cache::VecCache<rustc_span[a39783a4548efb95]::def_id::LocalDefId, rustc_middle[34e600d74c824be8]::query::erase::ErasedData<[u8; 1usize]>, rustc_middle[34e600d74c824be8]::dep_graph::graph::DepNodeIndex>, false>
  31:     0x7f49d1f91582 - rustc_query_impl[81998de6d015f587]::query_impl::check_match::execute_query_non_incr::__rust_end_short_backtrace
  32:     0x7f49d1c84062 - rustc_mir_build[89777eba57bc2271]::builder::build_mir_inner_impl
  33:     0x7f49d1223ff4 - rustc_mir_transform[4c62ed3f12d5d932]::mir_built
  34:     0x7f49d1a1a4f5 - rustc_query_impl[81998de6d015f587]::execution::try_execute_query::<rustc_data_structures[1e0d9addf3b98731]::vec_cache::VecCache<rustc_span[a39783a4548efb95]::def_id::LocalDefId, rustc_middle[34e600d74c824be8]::query::erase::ErasedData<[u8; 8usize]>, rustc_middle[34e600d74c824be8]::dep_graph::graph::DepNodeIndex>, false>
  35:     0x7f49d1a1a183 - rustc_query_impl[81998de6d015f587]::query_impl::mir_built::execute_query_non_incr::__rust_end_short_backtrace
  36:     0x7f49d12322fe - rustc_mir_transform[4c62ed3f12d5d932]::ffi_unwind_calls::has_ffi_unwind_calls
  37:     0x7f49d1231ccd - rustc_query_impl[81998de6d015f587]::query_impl::has_ffi_unwind_calls::invoke_provider_fn::__rust_begin_short_backtrace
  38:     0x7f49d1f9189f - rustc_query_impl[81998de6d015f587]::execution::try_execute_query::<rustc_data_structures[1e0d9addf3b98731]::vec_cache::VecCache<rustc_span[a39783a4548efb95]::def_id::LocalDefId, rustc_middle[34e600d74c824be8]::query::erase::ErasedData<[u8; 1usize]>, rustc_middle[34e600d74c824be8]::dep_graph::graph::DepNodeIndex>, false>
  39:     0x7f49d1f9144e - rustc_query_impl[81998de6d015f587]::query_impl::has_ffi_unwind_calls::execute_query_non_incr::__rust_end_short_backtrace
  40:     0x7f49d1f76891 - rustc_mir_transform[4c62ed3f12d5d932]::mir_promoted
  41:     0x7f49d1f76712 - rustc_query_impl[81998de6d015f587]::query_impl::mir_promoted::invoke_provider_fn::__rust_begin_short_backtrace
  42:     0x7f49d18659c3 - rustc_query_impl[81998de6d015f587]::execution::try_execute_query::<rustc_data_structures[1e0d9addf3b98731]::vec_cache::VecCache<rustc_span[a39783a4548efb95]::def_id::LocalDefId, rustc_middle[34e600d74c824be8]::query::erase::ErasedData<[u8; 16usize]>, rustc_middle[34e600d74c824be8]::dep_graph::graph::DepNodeIndex>, false>
  43:     0x7f49d1864c80 - rustc_query_impl[81998de6d015f587]::query_impl::mir_promoted::execute_query_non_incr::__rust_end_short_backtrace
  44:     0x7f49d1fbae11 - rustc_borrowck[1376b21d4aea188e]::mir_borrowck
  45:     0x7f49d1fbac65 - rustc_query_impl[81998de6d015f587]::query_impl::mir_borrowck::invoke_provider_fn::__rust_begin_short_backtrace
  46:     0x7f49d1a1a4f5 - rustc_query_impl[81998de6d015f587]::execution::try_execute_query::<rustc_data_structures[1e0d9addf3b98731]::vec_cache::VecCache<rustc_span[a39783a4548efb95]::def_id::LocalDefId, rustc_middle[34e600d74c824be8]::query::erase::ErasedData<[u8; 8usize]>, rustc_middle[34e600d74c824be8]::dep_graph::graph::DepNodeIndex>, false>
  47:     0x7f49d1a1ca03 - rustc_query_impl[81998de6d015f587]::query_impl::mir_borrowck::execute_query_non_incr::__rust_end_short_backtrace
  48:     0x7f49d25a23c9 - rustc_hir_analysis[354f407989e62663]::collect::type_of::opaque::find_opaque_ty_constraints_for_rpit
  49:     0x7f49d25a20b6 - rustc_hir_analysis[354f407989e62663]::collect::type_of::type_of_opaque
  50:     0x7f49d1251d3d - rustc_query_impl[81998de6d015f587]::execution::try_execute_query::<rustc_middle[34e600d74c824be8]::query::caches::DefIdCache<rustc_middle[34e600d74c824be8]::query::erase::ErasedData<[u8; 8usize]>>, false>
  51:     0x7f49d2437c4e - rustc_query_impl[81998de6d015f587]::query_impl::type_of_opaque::execute_query_non_incr::__rust_end_short_backtrace
  52:     0x7f49d157ecb6 - rustc_hir_analysis[354f407989e62663]::collect::type_of::type_of
  53:     0x7f49d15850e6 - rustc_query_impl[81998de6d015f587]::query_impl::type_of::invoke_provider_fn::__rust_begin_short_backtrace
  54:     0x7f49d1251d3d - rustc_query_impl[81998de6d015f587]::execution::try_execute_query::<rustc_middle[34e600d74c824be8]::query::caches::DefIdCache<rustc_middle[34e600d74c824be8]::query::erase::ErasedData<[u8; 8usize]>>, false>
  55:     0x7f49d12518d0 - rustc_query_impl[81998de6d015f587]::query_impl::type_of::execute_query_non_incr::__rust_end_short_backtrace
  56:     0x7f49d25a290f - rustc_hir_analysis[354f407989e62663]::check::check::check_opaque
  57:     0x7f49d1f9b4c2 - rustc_hir_analysis[354f407989e62663]::check::check::check_item_type
  58:     0x7f49d1f9225c - rustc_hir_analysis[354f407989e62663]::check::wfcheck::check_well_formed
  59:     0x7f49d1f92231 - rustc_query_impl[81998de6d015f587]::query_impl::check_well_formed::invoke_provider_fn::__rust_begin_short_backtrace
  60:     0x7f49d1f9189f - rustc_query_impl[81998de6d015f587]::execution::try_execute_query::<rustc_data_structures[1e0d9addf3b98731]::vec_cache::VecCache<rustc_span[a39783a4548efb95]::def_id::LocalDefId, rustc_middle[34e600d74c824be8]::query::erase::ErasedData<[u8; 1usize]>, rustc_middle[34e600d74c824be8]::dep_graph::graph::DepNodeIndex>, false>
  61:     0x7f49d1f91613 - rustc_query_impl[81998de6d015f587]::query_impl::check_well_formed::execute_query_non_incr::__rust_end_short_backtrace
  62:     0x7f49d1f8721a - <rustc_middle[34e600d74c824be8]::hir::ModuleItems>::par_opaques::<rustc_hir_analysis[354f407989e62663]::check::wfcheck::check_type_wf::{closure#5}>
  63:     0x7f49d1f8ec54 - rustc_hir_analysis[354f407989e62663]::check::wfcheck::check_type_wf
  64:     0x7f49d1f8e7ed - rustc_query_impl[81998de6d015f587]::query_impl::check_type_wf::invoke_provider_fn::__rust_begin_short_backtrace
  65:     0x7f49d23b15c9 - rustc_query_impl[81998de6d015f587]::execution::try_execute_query::<rustc_middle[34e600d74c824be8]::query::caches::SingleCache<rustc_middle[34e600d74c824be8]::query::erase::ErasedData<[u8; 1usize]>>, false>
  66:     0x7f49d23b13a9 - rustc_query_impl[81998de6d015f587]::query_impl::check_type_wf::execute_query_non_incr::__rust_end_short_backtrace
  67:     0x7f49d1a59824 - rustc_hir_analysis[354f407989e62663]::check_crate
  68:     0x7f49d1a1b9fa - rustc_interface[485d480a3023d986]::passes::analysis
  69:     0x7f49d23afa8a - rustc_query_impl[81998de6d015f587]::execution::try_execute_query::<rustc_middle[34e600d74c824be8]::query::caches::SingleCache<rustc_middle[34e600d74c824be8]::query::erase::ErasedData<[u8; 0usize]>>, false>
  70:     0x7f49d23af6ff - rustc_query_impl[81998de6d015f587]::query_impl::analysis::execute_query_non_incr::__rust_end_short_backtrace
  71:     0x7f49d240e9f7 - rustc_interface[485d480a3023d986]::interface::run_compiler::<(), rustc_driver_impl[cfe12dfe914b8b50]::run_compiler::{closure#0}>::{closure#2}
  72:     0x7f49d2444224 - std[57850c793645533b]::sys::backtrace::__rust_begin_short_backtrace::<rustc_interface[485d480a3023d986]::util::run_in_thread_with_globals<rustc_interface[485d480a3023d986]::util::run_in_thread_pool_with_globals<rustc_interface[485d480a3023d986]::interface::run_compiler<(), rustc_driver_impl[cfe12dfe914b8b50]::run_compiler::{closure#0}>::{closure#2}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>
  73:     0x7f49d2443fed - <std[57850c793645533b]::thread::lifecycle::spawn_unchecked<rustc_interface[485d480a3023d986]::util::run_in_thread_with_globals<rustc_interface[485d480a3023d986]::util::run_in_thread_pool_with_globals<rustc_interface[485d480a3023d986]::interface::run_compiler<(), rustc_driver_impl[cfe12dfe914b8b50]::run_compiler::{closure#0}>::{closure#2}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>::{closure#1} as core[9bdc299a1968c5b0]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
  74:     0x7f49d249a23a - <std[57850c793645533b]::sys::thread::unix::Thread>::new::thread_start
  75:     0x7f49cb897739 - <unknown>
  76:     0x7f49cb91bedc - <unknown>
  77:                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-2026-08-09T11_15_43-3985273.txt` to your bug report

note: rustc 1.99.0-nightly (153ecc4f7 2026-08-09) running on x86_64-unknown-linux-gnu

note: compiler flags: -Z assumptions-on-binders

query stack during panic:
#0 [typeck_root] type-checking `produce`
#1 [check_match] match-checking `produce`
#2 [mir_built] building MIR for `produce`
#3 [has_ffi_unwind_calls] checking if `produce` contains FFI-unwind calls
#4 [mir_promoted] promoting constants in MIR for `produce`
#5 [mir_borrowck] borrow-checking `produce`
#6 [type_of_opaque] computing type of opaque `produce::{opaque#0}`
#7 [type_of] computing type of `produce::{opaque#0}`
#8 [check_well_formed] checking that `produce::{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
warning: 1 warning 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: OpaqueTypeStorage { opaque_types: {OpaqueTypeKey { def_id: DefId(0:8 ~ a[1da6]::produce::{opaque#0}), args: [] }: ProvisionalHiddenType { span: a.rs:8:17: 8:37 (#0), ty: ?1t }}, duplicate_entries: [] }
  |
  = note: delayed at /rustc-dev/153ecc4f74035b709bb3e1eb9546f1d934865042/compiler/rustc_infer/src/infer/mod.rs:374: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: core::ptr::drop_glue::<rustc_hir_typeck::typeck_root_ctxt::TypeckRootCtxt>
             6: rustc_hir_typeck::typeck_with_inspect::{closure#0}
             7: rustc_query_impl::query_impl::typeck_root::invoke_provider_fn::__rust_begin_short_backtrace
             8: rustc_query_impl::execution::try_execute_query::<rustc_data_structures::vec_cache::VecCache<rustc_span::def_id::LocalDefId, rustc_middle::query::erase::ErasedData<[u8; 8]>, rustc_middle::dep_graph::graph::DepNodeIndex>, false>
             9: rustc_query_impl::query_impl::typeck_root::execute_query_non_incr::__rust_end_short_backtrace
            10: rustc_mir_build::thir::pattern::check_match::check_match
            11: rustc_query_impl::query_impl::check_match::invoke_provider_fn::__rust_begin_short_backtrace
            12: rustc_query_impl::execution::try_execute_query::<rustc_data_structures::vec_cache::VecCache<rustc_span::def_id::LocalDefId, rustc_middle::query::erase::ErasedData<[u8; 1]>, rustc_middle::dep_graph::graph::DepNodeIndex>, false>
            13: rustc_query_impl::query_impl::check_match::execute_query_non_incr::__rust_end_short_backtrace
            14: rustc_mir_build::builder::build_mir_inner_impl
            15: rustc_mir_transform::mir_built
            16: rustc_query_impl::execution::try_execute_query::<rustc_data_structures::vec_cache::VecCache<rustc_span::def_id::LocalDefId, rustc_middle::query::erase::ErasedData<[u8; 8]>, rustc_middle::dep_graph::graph::DepNodeIndex>, false>
            17: rustc_query_impl::query_impl::mir_built::execute_query_non_incr::__rust_end_short_backtrace
            18: rustc_mir_transform::ffi_unwind_calls::has_ffi_unwind_calls
            19: rustc_query_impl::query_impl::has_ffi_unwind_calls::invoke_provider_fn::__rust_begin_short_backtrace
            20: rustc_query_impl::execution::try_execute_query::<rustc_data_structures::vec_cache::VecCache<rustc_span::def_id::LocalDefId, rustc_middle::query::erase::ErasedData<[u8; 1]>, rustc_middle::dep_graph::graph::DepNodeIndex>, false>
            21: rustc_query_impl::query_impl::has_ffi_unwind_calls::execute_query_non_incr::__rust_end_short_backtrace
            22: rustc_mir_transform::mir_promoted
            23: rustc_query_impl::query_impl::mir_promoted::invoke_provider_fn::__rust_begin_short_backtrace
            24: rustc_query_impl::execution::try_execute_query::<rustc_data_structures::vec_cache::VecCache<rustc_span::def_id::LocalDefId, rustc_middle::query::erase::ErasedData<[u8; 16]>, rustc_middle::dep_graph::graph::DepNodeIndex>, false>
            25: rustc_query_impl::query_impl::mir_promoted::execute_query_non_incr::__rust_end_short_backtrace
            26: rustc_borrowck::mir_borrowck
            27: rustc_query_impl::query_impl::mir_borrowck::invoke_provider_fn::__rust_begin_short_backtrace
            28: rustc_query_impl::execution::try_execute_query::<rustc_data_structures::vec_cache::VecCache<rustc_span::def_id::LocalDefId, rustc_middle::query::erase::ErasedData<[u8; 8]>, rustc_middle::dep_graph::graph::DepNodeIndex>, false>
            29: rustc_query_impl::query_impl::mir_borrowck::execute_query_non_incr::__rust_end_short_backtrace
            30: rustc_hir_analysis::collect::type_of::opaque::find_opaque_ty_constraints_for_rpit
            31: rustc_hir_analysis::collect::type_of::type_of_opaque
            32: rustc_query_impl::execution::try_execute_query::<rustc_middle::query::caches::DefIdCache<rustc_middle::query::erase::ErasedData<[u8; 8]>>, false>
            33: rustc_query_impl::query_impl::type_of_opaque::execute_query_non_incr::__rust_end_short_backtrace
            34: rustc_hir_analysis::collect::type_of::type_of
            35: rustc_query_impl::query_impl::type_of::invoke_provider_fn::__rust_begin_short_backtrace
            36: rustc_query_impl::execution::try_execute_query::<rustc_middle::query::caches::DefIdCache<rustc_middle::query::erase::ErasedData<[u8; 8]>>, false>
            37: rustc_query_impl::query_impl::type_of::execute_query_non_incr::__rust_end_short_backtrace
            38: rustc_hir_analysis::check::check::check_opaque
            39: rustc_hir_analysis::check::check::check_item_type
            40: rustc_hir_analysis::check::wfcheck::check_well_formed
            41: rustc_query_impl::query_impl::check_well_formed::invoke_provider_fn::__rust_begin_short_backtrace
            42: rustc_query_impl::execution::try_execute_query::<rustc_data_structures::vec_cache::VecCache<rustc_span::def_id::LocalDefId, rustc_middle::query::erase::ErasedData<[u8; 1]>, rustc_middle::dep_graph::graph::DepNodeIndex>, false>
            43: rustc_query_impl::query_impl::check_well_formed::execute_query_non_incr::__rust_end_short_backtrace
            44: <rustc_middle::hir::ModuleItems>::par_opaques::<rustc_hir_analysis::check::wfcheck::check_type_wf::{closure#5}>
            45: rustc_hir_analysis::check::wfcheck::check_type_wf
            46: rustc_query_impl::query_impl::check_type_wf::invoke_provider_fn::__rust_begin_short_backtrace
            47: rustc_query_impl::execution::try_execute_query::<rustc_middle::query::caches::SingleCache<rustc_middle::query::erase::ErasedData<[u8; 1]>>, false>
            48: rustc_query_impl::query_impl::check_type_wf::execute_query_non_incr::__rust_end_short_backtrace
            49: rustc_hir_analysis::check_crate
            50: rustc_interface::passes::analysis
            51: rustc_query_impl::execution::try_execute_query::<rustc_middle::query::caches::SingleCache<rustc_middle::query::erase::ErasedData<[u8; 0]>>, false>
            52: rustc_query_impl::query_impl::analysis::execute_query_non_incr::__rust_end_short_backtrace
            53: rustc_interface::interface::run_compiler::<(), rustc_driver_impl::run_compiler::{closure#0}>::{closure#2}
            54: 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#2}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>
            55: <std::thread::lifecycle::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#2}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>::{closure#1} as core::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
            56: <std::sys::thread::unix::Thread>::new::thread_start
            57: <unknown>
            58: <unknown>


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-2026-08-09T11_15_43-3985273.txt` to your bug report

note: rustc 1.99.0-nightly (153ecc4f7 2026-08-09) running on x86_64-unknown-linux-gnu

note: compiler flags: -Z assumptions-on-binders

query stack during panic:
end of query stack

```

</p>
</details>


@rustbot label +F-non_lifetime_binders

	I: Interner,
	{
	assert_eq!(original_values.len(), var_values.len());

	for (&orig, response) in iter::zip(original_values, var_values.var_values.iter()) {
	let mut must_eq = ResponseRelating::new(&**delegate, span);
	must_eq.relate(orig, response).unwrap();
	}
	}

	fn register_region_constraints<D, I>(
	delegate: &D,
	constraints: impl IntoIterator<Item = (ty::RegionConstraint<I>, VisibleForLeakCheck)>,

Navigation Menu

Uh oh!

Uh oh!

[ICE]: AOB: called `Result::unwrap()` on an `Err` value: Sorts(ExpectedFound #160802

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Uh oh!

Uh oh!

[ICE]: AOB: called Result::unwrap() on an Err value: Sorts(ExpectedFound #160802

Description

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions

[ICE]: AOB: called `Result::unwrap()` on an `Err` value: Sorts(ExpectedFound #160802