| Age | Commit message (Expand) | Author | Lines |
|---|
| 2021-12-25 | normalize env constness for nested obligations | Deadbeef | -0/+33 |
| 2021-12-21 | Fix bad caching of `~const Drop` bounds | Deadbeef | -3/+3 |
| 2021-12-20 | Eliminate `ObligationCauseData`. | Nicholas Nethercote | -2/+1 |
| 2021-12-18 | Re-introduce concept of projection cache 'completion' | Aaron Hill | -2/+50 |
| 2021-12-14 | extend `simplify_type` | lcnr | -5/+16 |
| 2021-12-12 | Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk" | Deadbeef | -165/+101 |
| 2021-12-08 | Use Vec extend instead of repeated pushes in several places | Jakub Beránek | -3/+1 |
| 2021-12-03 | Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino" | Santiago Pastorino | -101/+165 |
| 2021-12-02 | Auto merge of #91469 - matthiaskrgr:rollup-xom3j55, r=matthiaskrgr | bors | -1/+5 |
| 2021-12-02 | Rollup merge of #91329 - Aaron1011:modulo-regions-test, r=jackh726 | Matthias Krüger | -1/+5 |
| 2021-12-02 | Reduce boilerplate around infallible folders | Alan Egerton | -1/+1 |
| 2021-12-01 | Cache with consistent env and bound | Deadbeef | -8/+18 |
| 2021-11-29 | Reformat everything | Deadbeef | -4/+1 |
| 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 | -31/+31 |
| 2021-11-29 | Replace `ConstnessAnd<TraitRef>` with `TraitPredicate` which conveys the same... | Oli Scherer | -65/+44 |
| 2021-11-29 | Prefer TraitPredicate over ConstnessAnd<TraitRef> | Oli Scherer | -24/+9 |
| 2021-11-29 | Use the constness from the param env instead of having a separate dimension f... | Oli Scherer | -38/+2 |
| 2021-11-28 | Fix incorrect usage of `EvaluatedToOk` when evaluating `TypeOutlives` | Aaron Hill | -1/+5 |
| 2021-11-28 | Auto merge of #91230 - eggyal:fallible-type-fold, r=jackh726 | bors | -0/+1 |
| 2021-11-27 | Only check for errors in predicate when skipping impl assembly | Aaron Hill | -1/+4 |
| 2021-11-26 | Unwrap the results of type folders | LeSeulArtichaut | -0/+1 |
| 2021-11-24 | Add impl polarity to fields | Deadbeef | -26/+27 |
| 2021-11-24 | Allow more cases to match ~const Drop. | Deadbeef | -32/+48 |
| 2021-11-08 | impl Copy/Clone for arrays in std, not in compiler | bstrie | -6/+2 |
| 2021-11-06 | use matches!() macro in more places | Matthias Krüger | -4/+1 |
| 2021-11-06 | Auto merge of #88441 - jackh726:closure_norm, r=nikomatsakis | bors | -10/+24 |
| 2021-11-02 | Rollup merge of #90417 - lcnr:stabilize-relaxed-struct-unsizing, r=wesleywiser | Matthias Krüger | -40/+12 |
| 2021-10-30 | stabilize `relaxed_struct_unsize` | lcnr | -40/+12 |
| 2021-10-28 | Reformat the changed line to make tidy happy | Ilya Yanok | -2/+3 |
| 2021-10-28 | Use `is_global` in `candidate_should_be_dropped_in_favor_of` | Ilya Yanok | -1/+1 |
| 2021-10-24 | Point at overlapping impls when type annotations are needed | Esteban Kuber | -8/+27 |
| 2021-10-23 | Auto merge of #90104 - spastorino:coherence-for-negative-trait, r=nikomatsakis | bors | -151/+211 |
| 2021-10-22 | Assemple trait alias candidates for negative polarity | Santiago Pastorino | -0/+1 |
| 2021-10-22 | Add comment about the only way to prove NotImplemented here | Santiago Pastorino | -0/+2 |
| 2021-10-22 | Fix filter_impls comment | Santiago Pastorino | -2/+2 |
| 2021-10-22 | Fix debug method name | Santiago Pastorino | -1/+1 |
| 2021-10-22 | Move const filter to filter_impls | Santiago Pastorino | -35/+44 |
| 2021-10-20 | Fix allow_negative_impls logic | Santiago Pastorino | -2/+2 |
| 2021-10-20 | Add TraitObligation::polarity() for better encapsulation | Santiago Pastorino | -14/+8 |
| 2021-10-20 | Filter candidates when goal and impl polarity doesn't match | Santiago Pastorino | -9/+27 |
| 2021-10-20 | Filter out Negative impls on intercrate mode's ambiguous reasoning | Santiago Pastorino | -23/+30 |
| 2021-10-20 | Make EvaluationCache consider polarity as cache's key | Santiago Pastorino | -6/+24 |
| 2021-10-20 | Only assemble_candidates_from_impls for polarity Negative | Santiago Pastorino | -58/+62 |
| 2021-10-20 | Consider negative polarity on trait selection | Santiago Pastorino | -25/+23 |
| 2021-10-20 | Consider negative polarity on overlap check | Santiago Pastorino | -15/+23 |
| 2021-10-20 | Add polarity to TraitPredicate | Santiago Pastorino | -0/+1 |
| 2021-10-18 | Normalize obligations for closure confirmation | jackh726 | -10/+24 |
| 2021-10-16 | Adopt let_else across the compiler | est31 | -3/+1 |
| 2021-10-14 | Auto merge of #89247 - fee1-dead:const-eval-select, r=oli-obk | bors | -2/+6 |
