Trait resolution on associated type breaks with type inference for references

[Veetaha]

I tried this code (playground):

fn foo<C>(_: C)
where
    for <'a> &'a C: IntoIterator,
    for <'a> <&'a C as IntoIterator>::IntoIter: ExactSizeIterator,
{}

fn main() {
    foo::<_>(vec![true, false]);
    // But this compiles fine
    // foo::<Vec<bool>>(vec![true, false]);
}

I expected this to compile just fine.
Instead, the following error is produced:

 Compiling ref-into-inter-infer v0.1.0 (/home/veetaha/junk/rust-sandbox/crates/ref-into-inter-infer)
error[E0277]: the trait bound `for<'a> <&'a _ as IntoIterator>::IntoIter: ExactSizeIterator` is not satisfied
 --> crates/ref-into-inter-infer/src/main.rs:8:5
  |
8 |     foo::<_>(vec![true, false]);
  |     ^^^^^^^^ the trait `for<'a> ExactSizeIterator` is not implemented for `<&'a _ as IntoIterator>::IntoIter`
  |
  = help: the following implementations were found:
            <&mut I as ExactSizeIterator>
note: required by a bound in `foo`
 --> crates/ref-into-inter-infer/src/main.rs:4:49
  |
1 | fn foo<C>(_: C)
  |    --- required by a bound in this
...
4 |     for <'a> <&'a C as IntoIterator>::IntoIter: ExactSizeIterator,
  |                                                 ^^^^^^^^^^^^^^^^^ required by this bound in `foo`

For more information about this error, try `rustc --explain E0277`.
error: could not compile `ref-into-inter-infer` due to previous error

Note that when an explicit type is specified in generic parameters, the code compiles just fine.

Meta

rustc --version --verbose:

rustc 1.58.1 (db9d1b20b 2022-01-20)
binary: rustc
commit-hash: db9d1b20bba1968c1ec1fc49616d4742c1725b4b
commit-date: 2022-01-20
host: x86_64-unknown-linux-gnu
release: 1.58.1
LLVM version: 13.0.0

[compiler-errors]

@jackh726 i wonder if this is fixed by the fulfillment normalization PR. i can test later today.

[jackh726]

Probably not. I think this is #90950