| Age | Commit message (Expand) | Author | Lines |
|---|
| 2022-01-25 | Rollup merge of #93064 - Aaron1011:provisional-dep-node, r=michaelwoerister | Matthias Krüger | -12/+51 |
| 2022-01-19 | Foreign types are trivially drop | Michael Goulet | -2/+3 |
| 2022-01-19 | skip some layers in const drop confirmation | Michael Goulet | -70/+91 |
| 2022-01-19 | never type is const Drop | Michael Goulet | -3/+5 |
| 2022-01-18 | Properly track `DepNode`s in trait evaluation provisional cache | Aaron Hill | -12/+51 |
| 2022-01-18 | Check const Drop impls considering ConstIfConst bounds | Michael Goulet | -136/+170 |
| 2022-01-16 | Rollup merge of #92710 - jackh726:issue-92280, r=nikomatsakis | Matthias Krüger | -1/+3 |
| 2022-01-16 | Auto merge of #92805 - BoxyUwU:revert-lazy-anon-const-substs, r=lcnr | bors | -10/+6 |
| 2022-01-15 | Rollup merge of #92191 - jackh726:issue-89352, r=nikomatsakis | Matthias Krüger | -15/+24 |
| 2022-01-15 | attempt to re-add `ty::Unevaluated` visitor and friends | Ellen | -4/+3 |
| 2022-01-15 | initial revert | Ellen | -13/+10 |
| 2022-01-10 | Elaborate param_env predicates when checking if type outlives involving proje... | Jack Huey | -1/+3 |
| 2022-01-09 | eplace usages of vec![].into_iter with [].into_iter | Lucas Kent | -1/+1 |
| 2021-12-25 | normalize env constness for nested obligations | Deadbeef | -0/+33 |
| 2021-12-22 | When obligation is a sized predicate, prefer projection or object candidates ... | Jack Huey | -15/+24 |
| 2021-12-21 | remove obligation dedup | lcnr | -22/+0 |
| 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 |
