| Age | Commit message (Expand) | Author | Lines |
| 2022-02-26 | Provide extra note if synthetic type args are specified | Gary Guo | -0/+1 |
| 2022-02-24 | Remove in-band lifetimes | Michael Goulet | -16/+12 |
| 2022-02-17 | fix impl trait message, bless tests | Michael Goulet | -220/+110 |
| 2022-02-17 | Add more information to `impl Trait` deny error | Michael Goulet | -108/+218 |
| 2022-02-12 | Update chalk tests | Matthew Jasper | -6/+4 |
| 2022-02-11 | Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis" | Oli Scherer | -748/+510 |
| 2022-02-11 | Revert "Auto merge of #92306 - Aaron1011:opaque-type-op, r=oli-obk" | Oli Scherer | -20/+8 |
| 2022-02-11 | Revert "Fix regression from lazy opaque types" | Oli Scherer | -94/+2 |
| 2022-02-09 | Auto merge of #92306 - Aaron1011:opaque-type-op, r=oli-obk | bors | -8/+20 |
| 2022-02-08 | Improve opaque type higher-ranked region error message under NLL | Aaron Hill | -8/+20 |
| 2022-02-08 | Fix regression from lazy opaque types | Oli Scherer | -2/+94 |
| 2022-02-07 | Print opaque types from type aliases via their path | Oli Scherer | -7/+7 |
| 2022-02-02 | Only prevent TAITs from defining each other, RPIT and async are fine, they on... | Oli Scherer | -20/+2 |
| 2022-02-02 | Prevent two opaque types in their defining scopes from being defined via the ... | Oli Scherer | -13/+132 |
| 2022-02-02 | Ensure we error in case of non-higher-kinded lifetimes | Oli Scherer | -1/+48 |
| 2022-02-02 | Avoid an ICE in the presence of HKL | Oli Scherer | -0/+15 |
| 2022-02-02 | Make the error for opaque types that have no hidden types a bit informative | Oli Scherer | -6/+12 |
| 2022-02-02 | Hide further opaque type errors if items that could constrain the opaque type... | Oli Scherer | -20/+6 |
| 2022-02-02 | Add some tests to show what happens when you compare two opaque types that ar... | Oli Scherer | -0/+64 |
| 2022-02-02 | Test recursive TAIT declarations | Oli Scherer | -0/+80 |
| 2022-02-02 | Eagerly merge hidden types. | Oli Scherer | -33/+55 |
| 2022-02-02 | Stop generating inference vars for nested impl trait and let type equality ha... | Oli Scherer | -8/+32 |
| 2022-02-02 | Register member constraints on the final merged hidden type | Oli Scherer | -32/+2 |
| 2022-02-02 | Lazily resolve type-alias-impl-trait defining uses | Oli Scherer | -506/+429 |
| 2021-12-17 | Fix typo in "new region bound" suggestion | Esteban Kuber | -15/+15 |
| 2021-12-15 | update tests | lcnr | -1/+6 |
| 2021-12-11 | Auto merge of #91769 - estebank:type-trait-bound-span-2, r=oli-obk | bors | -6/+23 |
| 2021-12-11 | Tweak assoc type obligation spans | Esteban Kuber | -6/+23 |
| 2021-12-10 | Tweak wording | Esteban Kuber | -12/+12 |
| 2021-12-10 | Use a more accurate `Span` for `'static` obligation from return type | Esteban Kuber | -16/+16 |
| 2021-12-10 | Point at return type when it introduces `'static` obligation | Esteban Kuber | -0/+28 |
| 2021-12-10 | Clean up visual output logic | Esteban Kuber | -5/+5 |
| 2021-11-26 | Perform Sync check on static items in wf-check instead of during const checks | Oli Scherer | -2/+2 |
| 2021-11-26 | Auto merge of #85102 - estebank:point-at-assignment, r=oli-obk | bors | -0/+3 |
| 2021-11-25 | On type mismatch caused by assignment, point at assignee | Esteban Küber | -0/+3 |
| 2021-11-23 | Fix printing unit return ty, don't elaborate FnOnce unless we see it | Michael Goulet | -9/+9 |
| 2021-11-23 | Update test outputs | Michael Goulet | -17/+17 |
| 2021-11-20 | Point at bounds when comparing impl items to trait | Esteban Kuber | -2/+2 |
| 2021-11-18 | Print output ty for opaque future ty | Michael Goulet | -2/+2 |
| 2021-11-09 | Rollup merge of #90708 - NieDzejkob:feature-note, r=jackh726 | Yuki Okushi | -0/+9 |
| 2021-11-09 | Auto merge of #87337 - jyn514:lint-error, r=oli-obk,flip1995 | bors | -7/+16 |
| 2021-11-08 | Add a note about feature(explicit_generic_args_with_impl_trait) to the releva... | Jakub Kądziołka | -0/+9 |
| 2021-11-08 | Don't abort compilation after giving a lint error | Joshua Nelson | -7/+16 |
| 2021-11-06 | Move some tests to more reasonable directories | Caio | -0/+35 |
| 2021-10-25 | fix(rustc_typeck): report function argument errors on matching type | Michael Howell | -4/+8 |
| 2021-10-24 | Always sort suggestions before emitting them | Esteban Kuber | -4/+4 |
| 2021-10-24 | Point at overlapping impls when type annotations are needed | Esteban Kuber | -3/+18 |
| 2021-10-18 | Remove regionck member constraint handling and leave it to mir borrowck | Oli Scherer | -252/+67 |
| 2021-10-15 | simplify constrain_opaque_types | Niko Matsakis | -123/+244 |
| 2021-10-13 | Bless nll tests | Oli Scherer | -10/+12 |