Aaron Hill 102b5789b2 Use EvaluatedToOkModuloRegions whenever we erase regions ... Fixes #80691 When we evaluate a trait predicate, we convert an `EvaluatedToOk` result to `EvaluatedToOkModuloRegions` if we erased any regions. We cache the result under a region-erased 'freshened' predicate, so `EvaluatedToOk` may not be correct for other predicates that have the same cache key.		2021-03-24 16:01:37 -04:00
..
traits	Use EvaluatedToOkModuloRegions whenever we erase regions	2021-03-24 16:01:37 -04:00
autoderef.rs	Remove ProjectionTy::from_ref_and_name	2021-02-13 19:29:55 +00:00
infer.rs	Fix use of bare trait objects everywhere	2021-03-18 02:18:58 +03:00
lib.rs	stabilize or_patterns	2021-03-19 19:45:32 -05:00
opaque_types.rs	Special case type aliases from impl trait in const/static types	2021-03-15 17:33:28 +00:00