| Age | Commit message (Expand) | Author | Lines |
|---|
| 2022-02-18 | Rollup merge of #93892 - compiler-errors:issue-92917, r=jackh726,nikomatsakis | Matthias Krüger | -3/+35 |
| 2022-02-15 | Overhaul `Const`. | Nicholas Nethercote | -5/+5 |
| 2022-02-15 | Overhaul `TyS` and `Ty`. | Nicholas Nethercote | -1/+1 |
| 2022-02-14 | use an enum in matches_projection_projection | Michael Goulet | -13/+24 |
| 2022-02-14 | fast_reject: remove `StripReferences` | lcnr | -8/+3 |
| 2022-02-11 | Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis" | Oli Scherer | -41/+9 |
| 2022-02-10 | only mark projection as ambiguous if GAT substs are constrained | Michael Goulet | -3/+24 |
| 2022-02-02 | Make a comment more obvious | Oli Scherer | -2/+4 |
| 2022-02-02 | Eagerly merge hidden types. | Oli Scherer | -2/+2 |
| 2022-02-02 | Lazily resolve type-alias-impl-trait defining uses | Oli Scherer | -9/+39 |
| 2022-01-26 | drive-by: use is_const and is_const_if_const | Michael Goulet | -7/+3 |
| 2022-01-26 | Improve selection errors for `~const` trait bounds | Deadbeef | -3/+3 |
| 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 | 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 |
