| Age | Commit message (Expand) | Author | Lines |
| 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 | -4/+4 |
| 2023-02-20 | Rollup merge of #108200 - jhpratt:restricted-damerau-levenshtein-distance, r=... | Matthias Krüger | -1/+1 |
| 2023-02-19 | Add some FIXMEs for follow-up PRs | León Orell Valerian Liehr | -2/+3 |
| 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 | -11/+8 |
| 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/+25 |
| 2023-02-19 | Make use of ObligationCtxt | León Orell Valerian Liehr | -47/+26 |
| 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 | -52/+205 |
| 2023-02-19 | Make public API, docs algorithm-agnostic | Jacob Pratt | -1/+1 |
| 2023-02-18 | Rollup merge of #108186 - compiler-errors:closures-with-late-bound-types-r-ba... | Matthias Krüger | -46/+8 |
| 2023-02-18 | Move late-bound arg type checks to resolve_bound_vars | Michael Goulet | -46/+8 |
| 2023-02-18 | Auto merge of #108112 - nnethercote:clarify-iterator-interners, r=oli-obk,com... | bors | -2/+2 |
| 2023-02-17 | Replace more `mk_foo` calls with `infer_foo`. | Nicholas Nethercote | -1/+1 |
| 2023-02-17 | Use `IntoIterator` for `mk_fn_sig`. | Nicholas Nethercote | -1/+1 |
| 2023-02-17 | Add `Clause::ConstArgHasType` variant | Boxy | -1/+1 |
| 2023-02-17 | Auto merge of #107753 - kylematsuda:type-of, r=BoxyUwU | bors | -10/+18 |
| 2023-02-16 | changes from review | Kyle Matsuda | -2/+10 |
| 2023-02-16 | remove bound_type_of query; make type_of return EarlyBinder; change type_of i... | Kyle Matsuda | -9/+9 |
| 2023-02-16 | change usages of type_of to bound_type_of | Kyle Matsuda | -6/+6 |
| 2023-02-17 | Rollup merge of #107489 - compiler-errors:non_lifetime_binders, r=cjgillot | Matthias Krüger | -16/+75 |
| 2023-02-16 | Auto merge of #108020 - nnethercote:opt-mk_region, r=compiler-errors | bors | -9/+12 |
| 2023-02-16 | Rollup merge of #108103 - matthiaskrgr:lice, r=compiler-errors | Dylan DPC | -2/+2 |
| 2023-02-16 | Deny some late-bound ty/ct in some positions, add tests | Michael Goulet | -3/+47 |
| 2023-02-16 | Make things actually work | Michael Goulet | -6/+21 |
| 2023-02-16 | Rename some region-specific stuff | Michael Goulet | -7/+7 |
| 2023-02-16 | be nice and don't slice | Matthias Krüger | -2/+2 |
| 2023-02-15 | Add specialized variants of `mk_region`. | Nicholas Nethercote | -9/+12 |
| 2023-02-13 | Make can_eq and can_sub return booleans | Michael Goulet | -1/+0 |
| 2023-02-13 | Reduce direct `mk_ty` usage. | Nicholas Nethercote | -2/+2 |
| 2023-02-11 | Auto merge of #107507 - BoxyUwU:deferred_projection_equality, r=lcnr | bors | -0/+1 |
| 2023-02-10 | add `AliasEq` to `PredicateKind` | Boxy | -0/+1 |
| 2023-02-09 | Use `ErrorGuaranteed` more in `ReError` | Esteban Küber | -5/+5 |
| 2023-02-09 | Change to `ReError(ErrorGuaranteed)` | Esteban Küber | -5/+3 |
| 2023-02-09 | Introduce `ReError` | Esteban Küber | -9/+3 |
| 2023-02-03 | Make const/fn return params more suggestable | Michael Goulet | -6/+6 |
| 2023-01-30 | Rollup merge of #107125 - WaffleLapkin:expect_an_item_in_your_hir_by_the_next... | Matthias Krüger | -2/+1 |
| 2023-01-28 | Rollup merge of #107100 - compiler-errors:issue-107087, r=lcnr | Matthias Krüger | -45/+61 |
| 2023-01-26 | change fn_sig query to use EarlyBinder; remove bound_fn_sig query; add EarlyB... | Kyle Matsuda | -1/+1 |
| 2023-01-23 | Use proper InferCtxt when probing for associated types in astconv | Michael Goulet | -45/+61 |
| 2023-01-20 | Add and use expect methods to hir. | Maybe Waffle | -2/+1 |
| 2023-01-20 | Auto merge of #106090 - WaffleLapkin:dereffffffffff, r=Nilstrieb | bors | -20/+20 |
| 2023-01-19 | Encode whether foreign opaques are TAITs or not | Michael Goulet | -1/+1 |
| 2023-01-17 | Rollup merge of #104505 - WaffleLapkin:no-double-spaces-in-comments, r=jackh726 | Matthias Krüger | -3/+3 |