| Age | Commit message (Expand) | Author | Lines |
| 2021-11-07 | Remove some fields from `ObligationCauseCode` | Matthew Jasper | -11/+4 |
| 2021-11-07 | Rename functions reflect that inline const is also "typeck_child" | Gary Guo | -1/+1 |
| 2021-11-07 | Give inline const separate DefKind | Gary Guo | -2/+2 |
| 2021-11-06 | Improve terminology around "after typeck" | pierwill | -6/+8 |
| 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 | -12/+38 |
| 2021-11-05 | Auto merge of #90577 - matthiaskrgr:clippy_perf_nov, r=petrochenkov | bors | -1/+1 |
| 2021-11-04 | clippy::perf fixes | Matthias Krüger | -1/+1 |
| 2021-11-04 | Erase regions within `vtable_trait_first_method_offset`. | Charles Lew | -1/+4 |
| 2021-11-02 | Rollup merge of #90417 - lcnr:stabilize-relaxed-struct-unsizing, r=wesleywiser | Matthias Krüger | -40/+12 |
| 2021-10-31 | Combine drain_filter calls | Aaron Hill | -4/+4 |
| 2021-10-30 | Use SsoHashSet | Aaron Hill | -2/+2 |
| 2021-10-30 | Deduplicate projection sub-obligations | Aaron Hill | -0/+6 |
| 2021-10-30 | Rollup merge of #90375 - yanok:master, r=lcnr | Guillaume Gomez | -2/+3 |
| 2021-10-30 | stabilize `relaxed_struct_unsize` | lcnr | -40/+12 |
| 2021-10-29 | Auto merge of #90380 - Mark-Simulacrum:revert-89558-query-stable-lint, r=lcnr | bors | -1/+0 |
| 2021-10-28 | Revert "Add rustc lint, warning when iterating over hashmaps" | Mark Rousskov | -1/+0 |
| 2021-10-28 | Move instantiate_opaque_types to rustc_infer. | Oli Scherer | -288/+5 |
| 2021-10-28 | Move some functions into `rustc_infer`. | Oli Scherer | -317/+1 |
| 2021-10-28 | Manually inline a function that is only ever called at the end of another fun... | Oli Scherer | -33/+6 |
| 2021-10-28 | Remove dead code. | Oli Scherer | -11/+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-25 | fix(rustc_typeck): report function argument errors on matching type | Michael Howell | -0/+6 |
| 2021-10-25 | Rollup merge of #89889 - estebank:unmet-send-bound-on-foreign-future, r=tmandry | Matthias Krüger | -77/+70 |
| 2021-10-24 | Auto merge of #89427 - estebank:collect-overlapping-impls, r=jackh726 | bors | -32/+189 |
| 2021-10-24 | Use the "nice E0277 errors"[1] for `!Send` `impl Future` from foreign crate | Esteban Kuber | -77/+70 |
| 2021-10-24 | Point at overlapping impls when type annotations are needed | Esteban Kuber | -32/+189 |
| 2021-10-24 | Rollup merge of #89558 - lcnr:query-stable-lint, r=estebank | Matthias Krüger | -0/+1 |
| 2021-10-23 | Auto merge of #90104 - spastorino:coherence-for-negative-trait, r=nikomatsakis | bors | -154/+265 |
| 2021-10-23 | Avoid code duplication by extracting checks into fns | Santiago Pastorino | -11/+18 |
| 2021-10-22 | Hide negative coherence checks under negative_impls feature flag | Santiago Pastorino | -4/+5 |
| 2021-10-22 | Assemple trait alias candidates for negative polarity | Santiago Pastorino | -0/+1 |
| 2021-10-22 | Add rustc_strict_coherence attribute and use it to check overlap | Santiago Pastorino | -2/+13 |
| 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-22 | Document overlap check filter | Santiago Pastorino | -1/+21 |
| 2021-10-22 | Rollup merge of #90028 - tmiasko:structural-match-closure, r=spastorino | Yuki Okushi | -1/+5 |
| 2021-10-21 | Rollup merge of #88644 - eopb:abstractconst_leaf_subst, r=lcnr | Yuki Okushi | -23/+22 |
| 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 | Use predicate_must_hold_modulo_regions | Santiago Pastorino | -1/+1 |
| 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 | -16/+32 |