| 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 | -4/+4 |
| 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 | -40/+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/+38 |
| 2022-01-26 | drive-by: use is_const and is_const_if_const | Michael Goulet | -3/+1 |
| 2022-01-26 | Improve selection errors for `~const` trait bounds | Deadbeef | -1/+1 |
| 2022-01-25 | Rollup merge of #93064 - Aaron1011:provisional-dep-node, r=michaelwoerister | Matthias Krüger | -12/+51 |
| 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 | -4/+4 |
| 2022-01-16 | Auto merge of #92805 - BoxyUwU:revert-lazy-anon-const-substs, r=lcnr | bors | -8/+4 |
| 2022-01-15 | Rollup merge of #92191 - jackh726:issue-89352, r=nikomatsakis | Matthias Krüger | -9/+14 |
| 2022-01-15 | attempt to re-add `ty::Unevaluated` visitor and friends | Ellen | -4/+3 |
| 2022-01-15 | initial revert | Ellen | -11/+8 |
| 2022-01-09 | eplace usages of vec![].into_iter with [].into_iter | Lucas Kent | -1/+1 |
| 2021-12-22 | When obligation is a sized predicate, prefer projection or object candidates ... | Jack Huey | -9/+14 |
| 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 | -152/+84 |
| 2021-12-03 | Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino" | Santiago Pastorino | -84/+152 |
| 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 | Avoid storing the ImplPolarity and Constness next to a TraitRef and use Trait... | Oli Scherer | -21/+17 |
| 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 | -37/+1 |
| 2021-11-28 | Fix incorrect usage of `EvaluatedToOk` when evaluating `TypeOutlives` | Aaron Hill | -1/+5 |
| 2021-11-26 | Unwrap the results of type folders | LeSeulArtichaut | -0/+1 |
| 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-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 | -6/+17 |
| 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 | -33/+42 |
| 2021-10-20 | Fix allow_negative_impls logic | Santiago Pastorino | -2/+2 |
| 2021-10-20 | Add TraitObligation::polarity() for better encapsulation | Santiago Pastorino | -9/+6 |
| 2021-10-20 | Filter candidates when goal and impl polarity doesn't match | Santiago Pastorino | -7/+23 |
| 2021-10-20 | Filter out Negative impls on intercrate mode's ambiguous reasoning | Santiago Pastorino | -23/+30 |
