Incomplete inference guidance due to `Sized` param-env clause causes method selection failure

I tried this code:

trait Foo<T> {
    fn method();
}

fn test<T, U>()
where
    T: Foo<(i32,)>,
    (U,): Sized,
{
    <T as Foo<(_,)>>::method();
}

I expected to see it work (in the old solver).

Instead, it did not:

error[E0277]: the trait bound `T: Foo<(U,)>` is not satisfied
  --> src/lib.rs:10:6
   |
10 |     <T as Foo<(_,)>>::method();
   |      ^ the trait `Foo<(U,)>` is not implemented for `T`

Meta

stable 1.85 rust, beta rust, and nightly feb 28 2025

Start by reproducing the example in src/lib.rs on the reported stable, beta, and nightly Rust versions. Trace the compiler's trait selection and inference handling for the Sized parameter-environment clause; done means the shown method call resolves successfully without the E0277 error.