| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-05-07 | Auto merge of #111161 - compiler-errors:rtn-super, r=cjgillot | bors | -4/+4 |
| 2023-05-03 | Rename things to reflect that they're not item specific | Michael Goulet | -4/+4 |
| 2023-05-02 | Make negative trait bounds work with the old trait solver | Michael Goulet | -0/+4 |
| 2023-04-11 | Allow the elaborator to only filter to real supertraits | Michael Goulet | -15/+26 |
| 2023-04-11 | Split implied and super predicate queries | Michael Goulet | -1/+1 |
| 2023-04-11 | Split super_predicates_that_define_assoc_type query from super_predicates_of | Michael Goulet | -4/+2 |
| 2023-04-06 | Get rid of elaborate_trait_ref{s} too | Michael Goulet | -17/+7 |
| 2023-04-06 | Make elaborator generic | Michael Goulet | -92/+117 |
| 2023-03-26 | Don't elaborate non-obligations into obligations | Michael Goulet | -35/+43 |
| 2023-03-23 | Rename AliasEq -> AliasRelate | Michael Goulet | -1/+1 |
| 2023-02-24 | rustc_infer: Consolidate obligation elaboration de-duplication | Patrik Kårlin | -16/+15 |
| 2023-02-17 | Add `Clause::ConstArgHasType` variant | Boxy | -0/+3 |
| 2023-02-16 | Clarify `DerivedObligationCause` may hold alias id | Alan Egerton | -1/+1 |
| 2023-02-10 | add `AliasEq` to `PredicateKind` | Boxy | -0/+3 |
| 2023-01-23 | Point at specific field in struct literal when trait fulfillment fails | Nathan Fenner | -24/+26 |
| 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 |
