Don't infer closure signatures with late-bound type vars by compiler-errors · Pull Request #108827 · rust-lang/rust (original) (raw)

No, this just makes sure that we just don't eagerly deduce a closure signature from pending obligations.

We can still infer placeholders when we process pending obligations later, so we'd need to do something after typechecking to make sure that the closures don't capture any type placeholders.