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

[compiler-errors]

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

[compiler-errors]

We already probably have a duplicate for this but I wanted to be able to cross-link something.