| Age | Commit message (Expand) | Author | Lines |
|---|
| 2022-02-15 | Overhaul `Const`. | Nicholas Nethercote | -45/+55 |
| 2022-02-15 | Remove unnecessary `RegionKind::` quals. | Nicholas Nethercote | -8/+3 |
| 2022-02-15 | Overhaul `RegionKind` and `Region`. | Nicholas Nethercote | -5/+5 |
| 2022-02-15 | Overhaul `PredicateInner` and `Predicate`. | Nicholas Nethercote | -2/+2 |
| 2022-02-15 | Overhaul `TyS` and `Ty`. | Nicholas Nethercote | -13/+13 |
| 2022-02-14 | Auto merge of #93652 - spastorino:fix-negative-overlap-check-regions, r=nikom... | bors | -25/+52 |
| 2022-02-14 | Inline loose_check fn on call site | Santiago Pastorino | -11/+1 |
| 2022-02-14 | Add comments about outlives_env | Santiago Pastorino | -0/+7 |
| 2022-02-14 | Call the method fork instead of clone and add proper comments | Santiago Pastorino | -1/+1 |
| 2022-02-14 | Properly check regions on negative overlap check | Santiago Pastorino | -8/+34 |
| 2022-02-14 | Add debug calls for negative impls in coherence | Santiago Pastorino | -4/+10 |
| 2022-02-14 | Move FIXME text to the right place | Santiago Pastorino | -3/+3 |
| 2022-02-14 | Remove extra negative_impl_exists check | Santiago Pastorino | -3/+1 |
| 2022-02-14 | further update `fuzzy_match_tys` | lcnr | -35/+53 |
| 2022-02-14 | fast_reject: remove `StripReferences` | lcnr | -30/+10 |
| 2022-02-14 | fuzzify `fuzzy_match_tys` | lcnr | -102/+38 |
| 2022-02-14 | Make `find_similar_impl_candidates` a little fuzzier. | Ben Reeves | -32/+115 |
| 2022-02-12 | Address review comment | Matthew Jasper | -1/+2 |
| 2022-02-11 | Renumber universes when canonicalizing for Chalk | Matthew Jasper | -2/+6 |
| 2022-02-11 | Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk | bors | -109/+37 |
| 2022-02-11 | Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis" | Oli Scherer | -84/+23 |
| 2022-02-11 | Revert "Auto merge of #92306 - Aaron1011:opaque-type-op, r=oli-obk" | Oli Scherer | -25/+14 |
| 2022-02-11 | Rollup merge of #93853 - steffahn:map_by_value, r=wesleywiser | Matthias Krüger | -1/+1 |
| 2022-02-10 | Remove further usage of `&hir::Map` | Frank Steffahn | -1/+1 |
| 2022-02-10 | Auto merge of #93511 - cjgillot:query-copy, r=oli-obk | bors | -3/+3 |
| 2022-02-09 | Ensure that queries only return Copy types. | Camille GILLOT | -3/+3 |
| 2022-02-09 | Allow substitutions in `rustc_on_unimplemented` predicate | Michael Goulet | -12/+36 |
| 2022-02-09 | Auto merge of #92306 - Aaron1011:opaque-type-op, r=oli-obk | bors | -14/+25 |
| 2022-02-08 | Improve opaque type higher-ranked region error message under NLL | Aaron Hill | -14/+25 |
| 2022-02-08 | Rollup merge of #92917 - jackh726:issue-91762-2, r=nikomatsakis | Matthias Krüger | -1/+11 |
| 2022-02-08 | Rollup merge of #93728 - JulianKnodt:toterm, r=oli-obk | Matthias Krüger | -20/+5 |
| 2022-02-07 | Change inference var check to be in project_type | Jack Huey | -11/+11 |
| 2022-02-07 | Don't match any projection predicates when the obligation has inference types... | Jack Huey | -2/+12 |
| 2022-02-07 | Rm ValuePairs::Ty/Const | kadmin | -20/+5 |
| 2022-02-02 | Fix some doctests where the main function returns an opaque type | Oli Scherer | -0/+5 |
| 2022-02-02 | Bail out early if there already were errors | Oli Scherer | -10/+5 |
| 2022-02-02 | Make a span more useful | Oli Scherer | -0/+1 |
| 2022-02-02 | Guess head span of async blocks | Oli Scherer | -0/+1 |
| 2022-02-02 | Make a comment more obvious | Oli Scherer | -2/+4 |
| 2022-02-02 | Eagerly merge hidden types. | Oli Scherer | -3/+3 |
| 2022-02-02 | Register member constraints on the final merged hidden type | Oli Scherer | -1/+1 |
| 2022-02-02 | Lazily resolve type-alias-impl-trait defining uses | Oli Scherer | -12/+69 |
| 2022-02-01 | Auto merge of #93285 - JulianKnodt:const_eq_2, r=oli-obk | bors | -116/+128 |
| 2022-02-01 | Fix w/ comments | kadmin | -59/+47 |
| 2022-02-01 | Rollup merge of #93290 - lcnr:same_type, r=jackh726 | Matthias Krüger | -1/+1 |
| 2022-02-01 | remove `TyS::same_type` | lcnr | -1/+1 |
| 2022-02-01 | add a rustc::query_stability lint | lcnr | -0/+1 |
| 2022-01-31 | Add ValuePairs::Terms & Fix compile error | kadmin | -39/+25 |
| 2022-01-31 | Auto merge of #93348 - spastorino:fix-perf-overlap-mode2, r=nikomatsakis | bors | -60/+30 |
| 2022-01-31 | Do not store overlap_mode, just pass it down on insert | Santiago Pastorino | -3/+5 |
