| Age | Commit message (Expand) | Author | Lines |
| 2023-03-28 | Add `(..)` syntax for RTN | Michael Goulet | -2/+2 |
| 2023-03-28 | Compute bound vars correctly | Michael Goulet | -1/+53 |
| 2023-03-26 | Don't elaborate non-obligations into obligations | Michael Goulet | -7/+4 |
| 2023-03-23 | Rollup merge of #109280 - compiler-errors:no-vec-map, r=Mark-Simulacrum | Dylan DPC | -1/+1 |
| 2023-03-21 | IdentitySubsts::identity_for_item takes Into<DefId> | Michael Goulet | -11/+11 |
| 2023-03-21 | Use LocalDefId in ItemCtxt | Michael Goulet | -73/+76 |
| 2023-03-21 | Use local key in providers | Michael Goulet | -36/+41 |
| 2023-03-21 | Rollup merge of #109385 - lcnr:typo, r=Dylan-DPC | nils | -1/+1 |
| 2023-03-20 | fix typo | lcnr | -1/+1 |
| 2023-03-19 | Reformat type_of | Michael Goulet | -23/+30 |
| 2023-03-19 | Only expect a GAT const arg | Michael Goulet | -5/+10 |
| 2023-03-17 | Remove VecMap | Michael Goulet | -1/+1 |
| 2023-03-16 | Install projection from RPITIT to default trait method opaque correctly | Michael Goulet | -14/+22 |
| 2023-03-13 | Don't ICE for late-bound consts across AnonConstBoundary | Michael Goulet | -7/+7 |
| 2023-03-12 | Auto merge of #108700 - spastorino:new-rpitit-impl-side-2, r=compiler-errors | bors | -12/+43 |
| 2023-03-06 | Implement type_of for RPITITs assoc type | Santiago Pastorino | -1/+20 |
| 2023-03-06 | Properly implement explicit_item_bounds for RPITITs trait assoc ty | Santiago Pastorino | -11/+23 |
| 2023-03-05 | Rollup merge of #108746 - compiler-errors:rpitit-dont-project-default-w-no-va... | Matthias Krüger | -2/+2 |
| 2023-03-05 | Auto merge of #108351 - petrochenkov:rmdit, r=cjgillot | bors | -3/+3 |
| 2023-03-04 | Don't project to RPITIT that has no default value | Michael Goulet | -2/+2 |
| 2023-03-03 | Rollup merge of #108553 - compiler-errors:non-lt-late-bound-in-anon-ct, r=pet... | Matthias Krüger | -5/+57 |
| 2023-03-02 | rustc_middle: Remove trait `DefIdTree` | Vadim Petrochenkov | -3/+3 |
| 2023-02-28 | Only look for param in generics if it actually comes from generics | Michael Goulet | -36/+45 |
| 2023-02-28 | Deny capturing late-bound non-lifetime param in anon const | Michael Goulet | -5/+57 |
| 2023-02-24 | Rename many interner functions. | Nicholas Nethercote | -1/+1 |
| 2023-02-22 | Rename ty_error_with_guaranteed to ty_error, ty_error to ty_error_misc | Michael Goulet | -8/+6 |
| 2023-02-22 | Use ty_error_with_guaranteed in many more places | Michael Goulet | -8/+11 |
| 2023-02-22 | Remove type-traversal trait aliases | Alan Egerton | -2/+2 |
| 2023-02-22 | Convert a hard-warning about named static lifetimes into lint "unused_lifetimes" | Zhi Qi | -22/+24 |
| 2023-02-18 | Move late-bound arg type checks to resolve_bound_vars | Michael Goulet | -39/+106 |
| 2023-02-17 | add predicate evaluation logic | Boxy | -5/+52 |
| 2023-02-17 | Auto merge of #107753 - kylematsuda:type-of, r=BoxyUwU | bors | -12/+13 |
| 2023-02-16 | remove bound_type_of query; make type_of return EarlyBinder; change type_of i... | Kyle Matsuda | -12/+13 |
| 2023-02-16 | change usages of type_of to bound_type_of | Kyle Matsuda | -7/+7 |
| 2023-02-17 | Rollup merge of #107489 - compiler-errors:non_lifetime_binders, r=cjgillot | Matthias Krüger | -185/+229 |
| 2023-02-16 | Auto merge of #108127 - matthiaskrgr:rollup-kpzfc6j, r=matthiaskrgr | bors | -7/+2 |
| 2023-02-16 | Auto merge of #108020 - nnethercote:opt-mk_region, r=compiler-errors | bors | -2/+2 |
| 2023-02-16 | `if $c:expr { Some($r:expr) } else { None }` =>> `$c.then(|| $r)` | Maybe Waffle | -7/+2 |
| 2023-02-16 | A bit more work on late-bound consts | Michael Goulet | -5/+1 |
| 2023-02-16 | Make things actually work | Michael Goulet | -83/+120 |
| 2023-02-16 | Rename some region-specific stuff | Michael Goulet | -118/+129 |
| 2023-02-15 | Add specialized variants of `mk_region`. | Nicholas Nethercote | -2/+2 |
| 2023-02-14 | Add `of_trait` to DefKind::Impl. | Camille GILLOT | -1/+1 |
| 2023-02-13 | Rename folder traits' `tcx` method to `interner` | Alan Egerton | -1/+1 |
| 2023-02-13 | Make folding traits generic over the Interner | Alan Egerton | -1/+1 |
| 2023-02-13 | Make visiting traits generic over the Interner | Alan Egerton | -1/+1 |
| 2023-02-13 | Alias folding/visiting traits instead of re-export | Alan Egerton | -2/+2 |
| 2023-02-03 | Make const/fn return params more suggestable | Michael Goulet | -33/+14 |
| 2023-01-28 | Remove `HirId -> LocalDefId` map from HIR. | Camille GILLOT | -27/+33 |
| 2023-01-28 | Take a LocalDefId in hir::Visitor::visit_fn. | Camille GILLOT | -1/+1 |