bors 8024983ea7 Auto merge of #87246 - rust-lang:placeholder-pretty, r=nikomatsakis ...

When pretty printing, name placeholders as bound regions

Split from #85499

When we see a placeholder that we are going to print, treat it as a bound var (and add it to a `for<...>`

2021-07-22 02:22:02 +00:00

..

infer

Auto merge of #87246 - rust-lang:placeholder-pretty, r=nikomatsakis

2021-07-22 02:22:02 +00:00

traits

Add initial implementation of HIR-based WF checking for diagnostics

2021-07-16 16:29:02 -05:00

lib.rs

…