bors d488de82f3 Auto merge of #87587 - oli-obk:lazy_tait, r=spastorino ... Various refactorings of the TAIT infrastructure Before this PR we used to store the opaque type knowledge outside the `InferCtxt`, so it got recomputed on every opaque type instantiation. I also removed a feature gate check that makes no sense in the planned lazy TAIT resolution scheme Each commit passes all tests, so this PR is best reviewed commit by commit. r? `@spastorino`		2021-08-11 05:14:45 +00:00
..
traits	Do not ICE on HIR based WF check when involving lifetimes	2021-08-09 07:01:35 +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