Instantiate predicate binder without recanonicalizing goal in new solver by compiler-errors · Pull Request #136997 · rust-lang/rust (original) (raw)

hmm 👍 one concern is that this also impacts coherence, so it affects stable.

would need an FCP (and it seems generally useful to explain this to the other types team members, if only to fully reason about this ourselves). I would be fine writing the FCP comment, but would finish some other work first, so it'd take a while