rust/compiler/rustc_trait_selection/src
bors 3d0774d0dc Auto merge of #86700 - lqd:matthews-nll-hrtb-errors, r=nikomatsakis
Matthew's work on improving NLL's "higher-ranked subtype error"s

This PR rebases `@matthewjasper's` [branch](https://github.com/matthewjasper/rust/tree/nll-hrtb-errors) which has great work to fix the obscure higher-ranked subtype errors that are tracked in #57374.

These are a blocker to turning full NLLs on, and doing some internal cleanups to remove some of the old region code.

The goal is so `@nikomatsakis` can take a look at this early, and I'll then do my best to help do the changes and followup work to land this work, and move closer to turning off the migration mode.

I've only updated the branch and made it compile, removed a warning or two.

r? `@nikomatsakis`

(Here's the [zulip topic to discuss this](https://rust-lang.zulipchat.com/#narrow/stream/122657-t-compiler.2Fwg-nll/topic/.2357374.3A.20improving.20higher-ranked.20subtype.20errors.20via.20.2386700) that Niko wanted)
2021-08-18 15:54:59 +00:00
..
traits Auto merge of #86700 - lqd:matthews-nll-hrtb-errors, r=nikomatsakis 2021-08-18 15:54:59 +00:00
autoderef.rs Combine individual limit queries into single limits query 2021-07-04 13:02:51 -05:00
infer.rs Add initial implementation of HIR-based WF checking for diagnostics 2021-07-16 16:29:02 -05:00
lib.rs Refactor vtable format. 2021-07-20 22:14:42 +08:00
opaque_types.rs Don't collect into a Vec that is immediately being iterated on again. 2021-08-10 11:03:10 +00:00