ICE: `impl .. was matchable against Binder { .. } but now is not`

error[E0261]: use of undeclared lifetime name `'a`
 --> matchable.rs:5:18
  |
5 | impl Stream for &'a mut () {}
  |                  ^^ undeclared lifetime
  |
help: consider introducing lifetime `'a` here
  |
5 | impl<'a> Stream for &'a mut () {}
  |     ++++

error[E0425]: cannot find type `A` in this scope
  --> matchable.rs:10:25
   |
10 |         for<'b> &'b mut A: Stream,
   |                         ^ not found in this scope

error[E0601]: `main` function not found in crate `matchable`
  --> matchable.rs:14:2
   |
14 | }
   |  ^ consider adding a `main` function to `matchable.rs`

error[E0207]: the type parameter `A` is not constrained by the impl trait, self type, or predicates
 --> matchable.rs:6:10
  |
6 | impl<'a, A, F, T> Stream for <&mut A as Stream...
  |          ^ unconstrained type parameter

error[E0207]: the type parameter `F` is not constrained by the impl trait, self type, or predicates
 --> matchable.rs:6:13
  |
6 | impl<'a, A, F, T> Stream for <&mut A as Stream...
  |             ^ unconstrained type parameter

error[E0207]: the type parameter `T` is not constrained by the impl trait, self type, or predicates
 --> matchable.rs:6:16
  |
6 | ...A, F, T> Stream for <&mut A as Stream>::Ite...
  |          ^ unconstrained type parameter

error: internal compiler error: /rustc-dev/56f24e00c62ec2db9a8b407e7aef532caaf71062/compiler/rustc_trait_selection/src/traits/select/mod.rs:2496:17: impl DefId(0:7 ~ matchable[44a1]::{impl#1}) was matchable against Binder { value: TraitPredicate(<Self as Stream>, polarity:Positive), bound_vars: [] } but now is not


thread 'rustc' (27136) panicked at /rustc-dev/56f24e00c62ec2db9a8b407e7aef532caaf71062/compiler/rustc_trait_selection/src/traits/select/mod.rs:2496:17:
Box<dyn Any>
stack backtrace:
   0: std::panicking::begin_panic::<rustc_errors::ExplicitBug>
   1: <rustc_errors::diagnostic::BugAbort as rustc_errors::diagnostic::EmissionGuarantee>::emit_producing_guarantee
   2: rustc_middle::util::bug::opt_span_bug_fmt::<rustc_span::span_encoding::Span>::{closure#0}
   3: rustc_middle::ty::context::tls::with_opt::<rustc_middle::util::bug::opt_span_bug_fmt<rustc_span::span_encoding::Span>::{closure#0}, !>::{closure#0}
   4: rustc_middle::ty::context::tls::with_context_opt::<rustc_middle::ty::context::tls::with_opt<rustc_middle::util::bug::opt_span_bug_fmt<rustc_span::span_encoding::Span>::{closure#0}, !>::{closure#0}, !>
   5: rustc_middle::util::bug::bug_fmt
   6: <rustc_trait_selection::traits::select::SelectionContext>::confirm_candidate
   7: <rustc_trait_selection::traits::select::SelectionContext>::evaluate_trait_predicate_recursively
   8: <rustc_trait_selection::traits::select::SelectionContext>::evaluation_probe::<<rustc_trait_selection::traits::select::SelectionContext>::evaluate_root_obligation::{closure#0}>::{closure#0}
   9: <rustc_infer::infer::InferCtxt as rustc_trait_selection::traits::query::evaluate_obligation::InferCtxtExt>::evaluate_obligation_no_overflow
  10: <rustc_infer::infer::InferCtxt>::probe::<rustc_hir_typeck::method::probe::ProbeResult, <rustc_hir_typeck::method::probe::ProbeContext>::consider_probe::{closure#0}::{closure#0}>
  11: <rustc_hir_typeck::method::probe::ProbeContext>::pick_all_method
  12: <rustc_hir_typeck::fn_ctxt::FnCtxt>::probe_for_name
  13: <rustc_hir_typeck::fn_ctxt::FnCtxt>::method_exists_for_diagnostic
  14: <rustc_hir_typeck::fn_ctxt::FnCtxt>::check_expr_field
  15: <rustc_hir_typeck::fn_ctxt::FnCtxt>::check_expr_with_expectation_and_args
  16: <rustc_hir_typeck::fn_ctxt::FnCtxt>::check_expr_block
  17: <rustc_hir_typeck::fn_ctxt::FnCtxt>::check_expr_with_expectation_and_args
  18: rustc_hir_typeck::check::check_fn
  19: rustc_hir_typeck::typeck_with_inspect::{closure#0}
      [... omitted 1 frame ...]
  20: <rustc_middle::ty::context::TyCtxt>::par_hir_body_owners::<rustc_hir_analysis::check_crate::{closure#2}>::{closure#0}
  21: rustc_hir_analysis::check_crate
  22: rustc_interface::passes::analysis
      [... omitted 1 frame ...]
  23: <rustc_interface::passes::create_and_enter_global_ctxt<core::option::Option<rustc_interface::queries::Linker>, rustc_driver_impl::run_compiler::{closure#0}::{closure#2}>::{closure#2} as core::ops::function::FnOnce<(&rustc_session::session::Session, rustc_middle::ty::context::CurrentGcx, alloc::sync::Arc<rustc_data_structures::jobserver::Proxy>, &std::sync::once_lock::OnceLock<rustc_middle::ty::context::GlobalCtxt>, &rustc_data_structures::sync::worker_local::WorkerLocal<rustc_middle::arena::Arena>, &rustc_data_structures::sync::worker_local::WorkerLocal<rustc_hir::Arena>, rustc_driver_impl::run_compiler::{closure#0}::{closure#2})>>::call_once::{shim:vtable#0}
  24: rustc_interface::interface::run_compiler::<(), rustc_driver_impl::run_compiler::{closure#0}>::{closure#1}
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.

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/langston/code/drice/rustc-ice-2025-12-30T17_40_54-27133.txt` to your bug report

note: rustc 1.94.0-nightly (56f24e00c 2025-12-29) running on x86_64-unknown-linux-gnu

query stack during panic:
#0 [typeck] type-checking `StreamExt::f`
#1 [analysis] running analysis passes on crate `matchable`
end of query stack
error: aborting due to 7 previous errors

Some errors have detailed explanations: E0207, E0261, E0425, E0601.
For more information about an error, try `rustc --explain E0207`.