| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-01-19 | even more unify Projection/Opaque in outlives code | Ali MJ Al-Nasrawy | -4/+5 |
| 2023-01-17 | Rollup merge of #104505 - WaffleLapkin:no-double-spaces-in-comments, r=jackh726 | Matthias Krüger | -1/+1 |
| 2023-01-17 | Remove double spaces after dots in comments | Maybe Waffle | -1/+1 |
| 2023-01-17 | Rollup merge of #106829 - compiler-errors:more-alias-combine, r=spastorino | Matthias Krüger | -11/+2 |
| 2023-01-13 | Unify Opaque/Projection handling in region outlives code | Michael Goulet | -11/+2 |
| 2023-01-13 | Keep obligation chain when elaborating obligations | Esteban Küber | -3/+15 |
| 2022-12-13 | ProjectionTy.item_def_id -> ProjectionTy.def_id | Michael Goulet | -2/+1 |
| 2022-11-25 | Introduce PredicateKind::Clause | Santiago Pastorino | -12/+15 |
| 2022-11-21 | Add an always-ambiguous predicate to make sure that we don't accidentlally al... | Oli Scherer | -0/+1 |
| 2022-09-21 | Neither require nor imply lifetime bounds on opaque type for well formedness | Oli Scherer | -2/+10 |
| 2022-07-28 | anonymize all bound vars, not just regions | lcnr | -2/+2 |
| 2022-07-23 | Remap elaborated obligation constness | Deadbeef | -1/+6 |
| 2022-02-11 | Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis" | Oli Scherer | -3/+0 |
| 2022-02-02 | Lazily resolve type-alias-impl-trait defining uses | Oli Scherer | -0/+3 |
| 2022-01-16 | Rollup merge of #92710 - jackh726:issue-92280, r=nikomatsakis | Matthias Krüger | -4/+13 |
| 2022-01-15 | Rollup merge of #92191 - jackh726:issue-89352, r=nikomatsakis | Matthias Krüger | -1/+1 |
| 2022-01-10 | Elaborate param_env predicates when checking if type outlives involving proje... | Jack Huey | -4/+13 |
| 2021-12-22 | When obligation is a sized predicate, prefer projection or object candidates ... | Jack Huey | -1/+1 |
| 2021-12-13 | Remove `in_band_lifetimes` from `rustc_infer` | LegionMammal978 | -4/+4 |
| 2021-12-12 | Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk" | Deadbeef | -5/+5 |
| 2021-12-03 | Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino" | Santiago Pastorino | -5/+5 |
| 2021-11-29 | Completely remove ConstnessAnd | Oli Scherer | -1/+1 |
| 2021-11-29 | Avoid storing the ImplPolarity and Constness next to a TraitRef and use Trait... | Oli Scherer | -4/+4 |
| 2021-11-14 | Fix span for non-satisfied trivial trait bounds | Nilstrieb | -0/+17 |
| 2021-10-15 | Move push_outlives_components to rustc_infer | jackh726 | -2/+2 |
| 2021-09-15 | Remove ToPredicate impls that use Binder::dummy | jackh726 | -0/+1 |
| 2021-08-19 | introduce a Coerce predicate | Niko Matsakis | -0/+4 |
| 2021-08-13 | move Constness into TraitPredicate | Deadbeef | -1/+1 |
| 2021-07-20 | Refactor vtable format. | Charles Lew | -3/+3 |
| 2021-04-28 | Don't rebind in transitive_bounds_that_define_assoc_type | Jack Huey | -3/+1 |
| 2021-02-08 | Anonymize late bound regions on transitive bounds that define assoc type | Santiago Pastorino | -15/+22 |
| 2021-02-05 | Adapt to latest master changes by using PredicateKind | Santiago Pastorino | -1/+1 |
| 2021-02-05 | Revert "Auto merge of #79637 - spastorino:revert-trait-inheritance-self, r=Ma... | Santiago Pastorino | -1/+33 |
| 2021-01-16 | Review changes | Jack Huey | -15/+15 |
| 2021-01-16 | Cleanup | Jack Huey | -1/+1 |
| 2021-01-16 | Remove PredicateKind | Jack Huey | -6/+2 |
| 2021-01-16 | Remove PredicateKind::Atom | Jack Huey | -1/+0 |
| 2020-12-02 | Revert "Auto merge of #79209 - spastorino:trait-inheritance-self, r=nikomatsa... | Santiago Pastorino | -33/+1 |
| 2020-11-27 | Return FxIndexSet instead of FxHashSet to avoid order errors on different pla... | Santiago Pastorino | -3/+3 |
| 2020-11-27 | Inline elaborate_trait_refs_that_define_assoc_type into transitive_bounds_tha... | Santiago Pastorino | -32/+24 |
| 2020-11-27 | Document elaborate_trait_refs_that_define_assoc_type | Santiago Pastorino | -0/+5 |
| 2020-11-27 | Allow to self reference associated types in where clauses | Santiago Pastorino | -0/+35 |
| 2020-11-22 | Thread `Constness` through selection | Jonas Schievink | -1/+1 |
| 2020-11-16 | compiler: fold by value | Bastian Kauschke | -1/+1 |
| 2020-10-16 | Review comments | Jack Huey | -1/+1 |
| 2020-10-16 | map_bound_ref -> rebind | Jack Huey | -1/+1 |
| 2020-10-16 | Use map_bound(_ref) instead of Binder::bind when possible | Jack Huey | -2/+3 |
| 2020-10-06 | Separate bounds and predicates for associated/opaque types | Matthew Jasper | -13/+18 |
| 2020-09-09 | Remove def_id field from ParamEnv | Bram van den Heuvel | -0/+3 |
| 2020-08-30 | mv compiler to compiler/ | mark | -0/+313 |
