| Age | Commit message (Expand) | Author | Lines |
| 2022-01-12 | Don't fall back to crate-level opaque type definitions. | Oli Scherer | -32/+36 |
| 2022-01-11 | Auto merge of #92533 - Aaron1011:variant-symbol, r=petrochenkov | bors | -1/+1 |
| 2022-01-11 | Store a `Symbol` instead of an `Ident` in `VariantDef`/`FieldDef` | Aaron Hill | -1/+1 |
| 2022-01-10 | Use pre-interned symbols in a couple of places | bjorn3 | -4/+4 |
| 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 | -8/+5 |
| 2022-01-03 | Suggest changing quotes when str/char type mismatch | chordtoll | -3/+38 |
| 2021-12-29 | Refactor variance diagnostics to work with more types | Aaron Hill | -2/+3 |
| 2021-12-20 | Eliminate `ObligationCauseData`. | Nicholas Nethercote | -26/+26 |
| 2021-12-19 | Rollup merge of #91878 - LegionMammal978:less-inband-infer, r=Aaron1011 | Matthias Krüger | -39/+39 |
| 2021-12-19 | Auto merge of #91957 - nnethercote:rm-SymbolStr, r=oli-obk | bors | -2/+1 |
| 2021-12-18 | Rollup merge of #92022 - woodenarrow:br_expected_bool, r=estebank | Matthias Krüger | -4/+4 |
| 2021-12-17 | Eliminate duplicate codes of expected_found_bool | lzh | -4/+4 |
| 2021-12-17 | Fix typo in "new region bound" suggestion | Esteban Kuber | -1/+1 |
| 2021-12-16 | Eagerly instantiate opaque types | Oli Scherer | -6/+4 |
| 2021-12-16 | Remove some noise from opaque type errors around associated types | Oli Scherer | -0/+14 |
| 2021-12-15 | Remove unnecessary sigils around `Symbol::as_str()` calls. | Nicholas Nethercote | -2/+1 |
| 2021-12-13 | Remove `in_band_lifetimes` from `rustc_infer` | LegionMammal978 | -39/+39 |
| 2021-12-13 | Instead of checking for exact bounds, try to prove them | Jack Huey | -2/+2 |
| 2021-12-11 | Auto merge of #91769 - estebank:type-trait-bound-span-2, r=oli-obk | bors | -3/+36 |
| 2021-12-11 | Auto merge of #91799 - matthiaskrgr:rollup-b38xx6i, r=matthiaskrgr | bors | -49/+130 |
| 2021-12-11 | Rollup merge of #91640 - cjgillot:in-band-collect, r=oli-obk | Matthias Krüger | -24/+18 |
| 2021-12-11 | Tweak assoc type obligation spans | Esteban Kuber | -3/+36 |
| 2021-12-10 | fmt | Esteban Kuber | -16/+17 |
| 2021-12-10 | review comment | Esteban Kuber | -3/+3 |
| 2021-12-10 | Remove field from `ErrorValue` | Esteban Kuber | -12/+12 |
| 2021-12-10 | Review comments | Esteban Kuber | -10/+12 |
| 2021-12-10 | Tweak wording | Esteban Kuber | -3/+3 |
| 2021-12-10 | Use a more accurate `Span` for `'static` obligation from return type | Esteban Kuber | -5/+23 |
| 2021-12-10 | Point at return type when it introduces `'static` obligation | Esteban Kuber | -0/+20 |
| 2021-12-10 | Add filtering based on involved required lifetime | Esteban Kuber | -17/+20 |
| 2021-12-10 | review comments | Esteban Kuber | -21/+29 |
| 2021-12-10 | Clean up visual output logic | Esteban Kuber | -71/+21 |
| 2021-12-10 | Point at capture points for non-`'static` reference crossing a `yield` point | Esteban Kuber | -16/+95 |
| 2021-12-08 | Rollup merge of #90709 - estebank:erase-known-type-params, r=nagisa | Matthias Krüger | -6/+131 |
| 2021-12-07 | Simplify match. | Camille GILLOT | -25/+15 |
| 2021-12-07 | Store impl_trait_fn inside OpaqueTyOrigin. | Camille GILLOT | -10/+14 |
| 2021-12-07 | Rollup merge of #91493 - oli-obk:cleanup, r=michaelwoerister | Matthias Krüger | -5/+8 |
| 2021-12-07 | Add test with multiple type params failing inference | Esteban Kuber | -3/+1 |
| 2021-12-07 | Refer to const params as "const params" and not "type params" | Esteban Kuber | -36/+46 |
| 2021-12-07 | Refer to uninferred `const` params by their name, instead of `{ _: _ }` | Esteban Kuber | -6/+25 |
| 2021-12-07 | Only shown relevant type params in E0283 label | Esteban Kuber | -1/+99 |
| 2021-12-05 | Rollup merge of #90023 - b-naber:postpone_const_eval_infer_vars, r=nikomatsakis | Matthias Krüger | -30/+85 |
| 2021-12-03 | Remove a code path that is neither documented nor can I see the reason it exi... | Oli Scherer | -5/+8 |
| 2021-12-02 | Rename TypeFolderFallible to FallibleTypeFolder | Alan Egerton | -2/+2 |
| 2021-12-02 | Reduce boilerplate around infallible folders | Alan Egerton | -202/+189 |
| 2021-11-28 | Take a LocalDefId in expect_*item. | Camille GILLOT | -1/+1 |
| 2021-11-26 | Use `TypeFolder::Error` for `FullTypeResolver` and `QueryNormalizer` | LeSeulArtichaut | -21/+7 |
| 2021-11-26 | Unwrap the results of type folders | LeSeulArtichaut | -107/+111 |
| 2021-11-26 | Adapt `TypeFolder` implementors to return a `Result` | LeSeulArtichaut | -88/+101 |