| Age | Commit message (Expand) | Author | Lines |
| 2021-12-02 | Rename TypeFolderFallible to FallibleTypeFolder | Alan Egerton | -4/+4 |
| 2021-12-02 | Reduce boilerplate around infallible folders | Alan Egerton | -207/+196 |
| 2021-12-02 | Auto merge of #91354 - fee1-dead:const_env, r=spastorino | bors | -24/+16 |
| 2021-11-29 | Reformat everything | Deadbeef | -4/+2 |
| 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 | -4/+4 |
| 2021-11-29 | Use the constness from the param env instead of having a separate dimension f... | Oli Scherer | -18/+12 |
| 2021-11-28 | Take a LocalDefId in expect_*item. | Camille GILLOT | -1/+1 |
| 2021-11-28 | Auto merge of #91230 - eggyal:fallible-type-fold, r=jackh726 | bors | -216/+220 |
| 2021-11-26 | Use `TypeFolder::Error` for `FullTypeResolver` and `QueryNormalizer` | LeSeulArtichaut | -21/+7 |
| 2021-11-26 | Unwrap the results of type folders | LeSeulArtichaut | -107/+112 |
| 2021-11-26 | Adapt `TypeFolder` implementors to return a `Result` | LeSeulArtichaut | -88/+101 |
| 2021-11-26 | Make `TypeFoldable` implementors short-circuit on error | LeSeulArtichaut | -5/+5 |
| 2021-11-25 | Visit `param_env` field in Obligation's `TypeFoldable` impl | Aaron Hill | -1/+2 |
| 2021-11-22 | Use `derive_default_enum` in the compiler | Jacob Pratt | -7/+3 |
| 2021-11-21 | Simplify for loop desugar | Cameron Steffen | -6/+18 |
| 2021-11-21 | Auto merge of #91104 - matthiaskrgr:rollup-duk33o1, r=matthiaskrgr | bors | -6/+18 |
| 2021-11-21 | Auto merge of #89580 - estebank:trait-bounds-are-tricky, r=nagisa | bors | -5/+16 |
| 2021-11-20 | Fix for issue 91058 | Michael Goulet | -4/+16 |
| 2021-11-20 | Use same_type_modulo_infer in more places | Michael Goulet | -2/+2 |
| 2021-11-20 | Point at source of trait bound obligations in more places | Esteban Kuber | -5/+16 |
| 2021-11-20 | Suggest await on cases involving infer | Michael Goulet | -3/+31 |
| 2021-11-17 | Rollup merge of #90884 - Nilstrieb:fix-span-trivial-trait-bound, r=estebank | Matthias Krüger | -0/+17 |
| 2021-11-17 | Rollup merge of #90667 - rukai:improve_static_lifetime_diagnostics, r=estebank | Matthias Krüger | -41/+24 |
| 2021-11-16 | Fix await suggestion better | Michael Goulet | -19/+26 |
| 2021-11-14 | Fix span for non-satisfied trivial trait bounds | Nilstrieb | -0/+17 |
| 2021-11-14 | Improve diagnostics when a static lifetime is expected | Lucas Kent | -41/+24 |
| 2021-11-11 | Use `associated_item_def_ids` more | Matthew Jasper | -7/+1 |
| 2021-11-11 | Remove unused field of `RegionVariableOrigin` | Matthew Jasper | -3/+3 |
| 2021-11-11 | Auto merge of #90648 - matthewjasper:assoc-item-cleanup, r=cjgillot | bors | -47/+25 |
| 2021-11-09 | Rollup merge of #89561 - nbdd0121:const_typeck, r=nikomatsakis | Matthias Krüger | -4/+4 |
| 2021-11-08 | fmt | Deadbeef | -8/+3 |
| 2021-11-08 | Make select_* methods return Vec for TraitEngine | Deadbeef | -6/+6 |
| 2021-11-07 | more clippy fixes | Matthias Krüger | -1/+1 |
| 2021-11-07 | Remove some fields from `ObligationCauseCode` | Matthew Jasper | -47/+25 |
| 2021-11-07 | Rename functions reflect that inline const is also "typeck_child" | Gary Guo | -4/+4 |
| 2021-11-06 | Auto merge of #89970 - jackh726:gats_diagnostics, r=nikomatsakis | bors | -3/+18 |
| 2021-11-03 | Add beginner friendly lifetime elision hint to E0623 | Nilstrieb | -8/+86 |
| 2021-10-30 | Rollup merge of #90395 - b-naber:const-expr-type-relation, r=oli-obk | Matthias Krüger | -9/+20 |
| 2021-10-29 | don't mutably borrow inner infcx in all of ConstInferUnifier::consts | b-naber | -9/+20 |
| 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 | -2/+278 |
| 2021-10-28 | Move some functions into `rustc_infer`. | Oli Scherer | -1/+315 |
| 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 | -1/+19 |
| 2021-10-22 | nice_region_error: Include lifetime placeholders in error output | Michael Howell | -11/+48 |
| 2021-10-22 | Document flip polarity | Santiago Pastorino | -0/+3 |
| 2021-10-21 | Rollup merge of #90071 - cjgillot:no-blocks, r=oli-obk | Yuki Okushi | -3/+2 |
| 2021-10-20 | Add TraitObligation::polarity() for better encapsulation | Santiago Pastorino | -0/+4 |