| Age | Commit message (Expand) | Author | Lines |
| 2023-04-01 | fix clippy::iter_kv_map | Matthias Krüger | -2/+2 |
| 2023-03-28 | Add `(..)` syntax for RTN | Michael Goulet | -8/+16 |
| 2023-03-28 | Add tests and error messages | Michael Goulet | -9/+19 |
| 2023-03-28 | Compute bound vars correctly | Michael Goulet | -16/+55 |
| 2023-03-28 | RTN | Michael Goulet | -50/+103 |
| 2023-03-26 | Don't elaborate non-obligations into obligations | Michael Goulet | -6/+3 |
| 2023-03-23 | Auto merge of #109517 - matthiaskrgr:rollup-m3orqzd, r=matthiaskrgr | bors | -1/+1 |
| 2023-03-23 | Rename AliasEq -> AliasRelate | Michael Goulet | -1/+1 |
| 2023-03-22 | Rollup merge of #109423 - fmease:iat-selection-erase-regions-in-self-ty, r=co... | Matthias Krüger | -31/+51 |
| 2023-03-21 | iat selection: erase regions in self type | León Orell Valerian Liehr | -31/+51 |
| 2023-03-21 | Use LocalDefId in ItemCtxt | Michael Goulet | -4/+3 |
| 2023-03-20 | Rollup merge of #109277 - spastorino:new-rpitit-14, r=compiler-errors | Matthias Krüger | -2/+6 |
| 2023-03-20 | Update some names and comments | Michael Goulet | -1/+1 |
| 2023-03-18 | Rollup merge of #107416 - czzrr:issue-80618, r=GuillaumeGomez | Matthias Krüger | -1/+1 |
| 2023-03-18 | Rollup merge of #109200 - compiler-errors:issue-109191, r=WaffleLapkin | Matthias Krüger | -3/+6 |
| 2023-03-17 | Fix impl_trait_ty_to_ty substs | Santiago Pastorino | -2/+6 |
| 2023-03-17 | Erase escaping late-bound regions when probing for ambiguous associated types | Michael Goulet | -3/+14 |
| 2023-03-16 | Fix index out of bounds in suggest_trait_fn_ty_for_impl_fn_infer | Michael Goulet | -3/+6 |
| 2023-03-12 | Filter out RPITITs in astconv when checking for missing associated types | Santiago Pastorino | -0/+1 |
| 2023-03-12 | Auto merge of #108700 - spastorino:new-rpitit-impl-side-2, r=compiler-errors | bors | -1/+9 |
| 2023-03-10 | feat: implement better error for manual impl of `Fn*` traits | Ezra Shaw | -51/+81 |
| 2023-03-07 | Error code E0794 for late-bound lifetime parameter error. | Christopher Acosta | -1/+1 |
| 2023-03-06 | Map to new synthesized assoc ty for RPITITs in astconv | Santiago Pastorino | -1/+9 |
| 2023-03-02 | rustc_middle: Remove trait `DefIdTree` | Vadim Petrochenkov | -1/+1 |
| 2023-03-02 | Rollup merge of #108575 - compiler-errors:erase, r=estebank | Matthias Krüger | -2/+4 |
| 2023-03-01 | Rollup merge of #108520 - compiler-errors:one-bound-nit, r=jackh726 | Matthias Krüger | -20/+16 |
| 2023-02-28 | Erase **all** regions when probing for associated types in astconv | Michael Goulet | -2/+4 |
| 2023-02-26 | Small cleanup to one_bound_for_assoc_type | Michael Goulet | -20/+16 |
| 2023-02-25 | Add ErrorGuaranteed to HIR TyKind::Err | Michael Goulet | -1/+1 |
| 2023-02-24 | Replace a `mk_ty` call with `mk_bound`. | Nicholas Nethercote | -1/+1 |
| 2023-02-24 | Rename many interner functions. | Nicholas Nethercote | -7/+9 |
| 2023-02-23 | Auto merge of #108369 - compiler-errors:ty-error-more, r=BoxyUwU | bors | -20/+19 |
| 2023-02-23 | Auto merge of #108324 - notriddle:notriddle/assoc-fn-method, r=compiler-error... | bors | -8/+5 |
| 2023-02-22 | Rename ty_error_with_guaranteed to ty_error, ty_error to ty_error_misc | Michael Goulet | -17/+15 |
| 2023-02-22 | Use ty_error_with_guaranteed in many more places | Michael Goulet | -5/+6 |
| 2023-02-22 | Remove type-traversal trait aliases | Alan Egerton | -1/+1 |
| 2023-02-22 | diagnostics: if AssocFn has self argument, describe as method | Michael Howell | -8/+5 |
| 2023-02-20 | Rollup merge of #108265 - lcnr:cg-error-msg, r=BoxyUwU | Matthias Krüger | -6/+6 |
| 2023-02-20 | Rollup merge of #108200 - jhpratt:restricted-damerau-levenshtein-distance, r=... | Matthias Krüger | -2/+2 |
| 2023-02-20 | `const` generic -> const parameter in err msg | lcnr | -6/+6 |
| 2023-02-19 | Add some FIXMEs for follow-up PRs | León Orell Valerian Liehr | -4/+9 |
| 2023-02-19 | Collect fulfillment errors across impls | León Orell Valerian Liehr | -2/+2 |
| 2023-02-19 | Deduplicate fresh_item_substs | León Orell Valerian Liehr | -31/+34 |
| 2023-02-19 | Fix substitution bug | León Orell Valerian Liehr | -17/+14 |
| 2023-02-19 | Use InferCtxt::probe to properly detect ambiguous candidates | León Orell Valerian Liehr | -21/+26 |
| 2023-02-19 | Switch from for-loop to filter_map | León Orell Valerian Liehr | -27/+26 |
| 2023-02-19 | Groundwork for detecting ambiguous candidates | León Orell Valerian Liehr | -2/+85 |
| 2023-02-19 | Make use of ObligationCtxt | León Orell Valerian Liehr | -54/+33 |
| 2023-02-19 | Use the correct ParamEnv | León Orell Valerian Liehr | -1/+1 |
| 2023-02-19 | Type-directed probing for inherent associated types | León Orell Valerian Liehr | -54/+369 |