Eagerly instantiate Fn-like obligations in old solver by compiler-errors · Pull Request #108918 · rust-lang/rust (original) (raw)

Yeah, and I think that test shouldn't have compiled.

A corresponding projection test without lifetimes (link) doesn't compile, and I think that, while unfortunate, that is correct behavior. The fact that we eagerly relate projections via substs when they have escaping bound vars is not correct, imo, and this test breaks with the current implementation of lazy norm as well (link).