| Age | Commit message (Expand) | Author | Lines |
|---|
| 2022-02-14 | Call the method fork instead of clone and add proper comments | Santiago Pastorino | -1/+1 |
| 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-28 | Remove generalization over projection | kadmin | -2/+6 |
| 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-20 | Eliminate `ObligationCauseData`. | Nicholas Nethercote | -1/+1 |
| 2021-12-19 | Rollup merge of #91878 - LegionMammal978:less-inband-infer, r=Aaron1011 | Matthias Krüger | -9/+9 |
| 2021-12-18 | Re-introduce concept of projection cache 'completion' | Aaron Hill | -3/+69 |
| 2021-12-13 | Remove `in_band_lifetimes` from `rustc_infer` | LegionMammal978 | -9/+9 |
| 2021-12-12 | Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk" | Deadbeef | -24/+16 |
| 2021-12-03 | Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino" | Santiago Pastorino | -16/+24 |
| 2021-12-02 | Rename TypeFolderFallible to FallibleTypeFolder | Alan Egerton | -2/+2 |
| 2021-12-02 | Reduce boilerplate around infallible folders | Alan Egerton | -4/+7 |
| 2021-11-29 | Reformat everything | Deadbeef | -4/+2 |
| 2021-11-29 | Completely remove ConstnessAnd | Oli Scherer | -2/+2 |
| 2021-11-29 | Avoid storing the ImplPolarity and Constness next to a TraitRef and use Trait... | Oli Scherer | -4/+4 |
| 2021-11-29 | Use the constness from the param env instead of having a separate dimension f... | Oli Scherer | -18/+12 |
| 2021-11-28 | Auto merge of #91230 - eggyal:fallible-type-fold, r=jackh726 | bors | -5/+5 |
| 2021-11-26 | Make `TypeFoldable` implementors short-circuit on error | LeSeulArtichaut | -5/+5 |
| 2021-11-25 | Visit `param_env` field in Obligation's `TypeFoldable` impl | Aaron Hill | -1/+2 |
| 2021-11-14 | Fix span for non-satisfied trivial trait bounds | Nilstrieb | -0/+17 |
| 2021-11-11 | Auto merge of #90648 - matthewjasper:assoc-item-cleanup, r=cjgillot | bors | -3/+2 |
| 2021-11-08 | fmt | Deadbeef | -8/+3 |
| 2021-11-08 | Make select_* methods return Vec for TraitEngine | Deadbeef | -4/+4 |
| 2021-11-07 | Remove some fields from `ObligationCauseCode` | Matthew Jasper | -3/+2 |
| 2021-10-23 | Auto merge of #90104 - spastorino:coherence-for-negative-trait, r=nikomatsakis | bors | -1/+19 |
| 2021-10-22 | Document flip polarity | Santiago Pastorino | -0/+3 |
| 2021-10-20 | Add TraitObligation::polarity() for better encapsulation | Santiago Pastorino | -0/+4 |
| 2021-10-20 | Consider negative polarity on overlap check | Santiago Pastorino | -1/+12 |
| 2021-10-15 | Move push_outlives_components to rustc_infer | jackh726 | -2/+2 |
| 2021-09-24 | Rollup merge of #89001 - jackh726:binder-cleanup, r=nikomatsakis | Jubilee | -1/+2 |
| 2021-09-17 | Add another case of fallback to () avoid breakage | Mark Rousskov | -0/+3 |
| 2021-09-17 | Auto merge of #88945 - Aaron1011:no-projection-completion, r=wesleywiser,jack... | bors | -41/+0 |
| 2021-09-16 | Auto merge of #88719 - estebank:point-at-arg-for-obligation, r=nagisa | bors | -5/+1 |
| 2021-09-16 | Refactor `FulfillmentError` to track less data | Esteban Kuber | -5/+1 |
| 2021-09-15 | Remove ToPredicate impls that use Binder::dummy | jackh726 | -1/+2 |
| 2021-09-15 | Move object safety suggestions to the end of the error | Esteban Kuber | -4/+8 |
| 2021-09-14 | Remove concept of 'completion' from the projection cache | Aaron Hill | -41/+0 |
| 2021-08-25 | Rollup merge of #88218 - Aaron1011:missing-method-dyn, r=nagisa | Léo Lanteri Thauvin | -6/+0 |
| 2021-08-22 | Fix typos “a”→“an” | Frank Steffahn | -1/+1 |
| 2021-08-21 | Remove `Session.trait_methods_not_found` | Aaron Hill | -6/+0 |
| 2021-08-19 | introduce a Coerce predicate | Niko Matsakis | -0/+4 |
| 2021-08-14 | Assign FIXMEs to me and remove obsolete ones | Deadbeef | -1/+1 |
| 2021-08-13 | Pass constness to SelectionContext | Deadbeef | -0/+18 |
| 2021-08-13 | move Constness into TraitPredicate | Deadbeef | -1/+1 |
| 2021-07-20 | Refactor vtable format. | Charles Lew | -3/+3 |
| 2021-07-16 | Add initial implementation of HIR-based WF checking for diagnostics | Aaron Hill | -1/+6 |
