| Age | Commit message (Expand) | Author | Lines |
| 2022-12-11 | revert-overflow | ouz-a | -15/+0 |
| 2022-11-20 | Revert "Normalize opaques with escaping bound vars" | Michael Goulet | -1/+1 |
| 2022-10-21 | fix some typos | Rageking8 | -1/+1 |
| 2022-10-15 | Fix subst issues with RPITIT | Michael Goulet | -1/+4 |
| 2022-10-14 | more dupe word typos | Rageking8 | -1/+1 |
| 2022-10-12 | Auto merge of #101679 - compiler-errors:rpitit-default-body, r=nikomatsakis | bors | -3/+45 |
| 2022-10-10 | Fix compiler docs | Guillaume Gomez | -2/+3 |
| 2022-10-10 | Rollup merge of #102786 - compiler-errors:no-tuple-candidate, r=lcnr | Dylan DPC | -4/+2 |
| 2022-10-07 | Remove tuple candidate, nothing special about it | Michael Goulet | -4/+2 |
| 2022-10-07 | Remove TypeckResults from InferCtxt | Cameron Steffen | -5/+5 |
| 2022-10-07 | Introduce TypeErrCtxt | Cameron Steffen | -3/+3 |
| 2022-10-05 | Validate opaques in default trait bodies, don't normalize unless a body is pr... | Michael Goulet | -1/+2 |
| 2022-10-05 | Fix test for default body with impl | Michael Goulet | -2/+3 |
| 2022-10-05 | Support default-body trait functions with RPITIT | Michael Goulet | -3/+43 |
| 2022-10-04 | Rollup merge of #102651 - oli-obk:non_region_things, r=lcnr | Matthias Krüger | -1/+1 |
| 2022-10-04 | It's not about types or consts, but the lack of regions | Oli Scherer | -1/+1 |
| 2022-09-29 | Check generic argument compatibility when projecting assoc ty | Michael Goulet | -2/+40 |
| 2022-09-23 | Auto merge of #102056 - b-naber:unevaluated, r=lcnr | bors | -1/+1 |
| 2022-09-23 | rename Unevaluated to UnevaluatedConst | b-naber | -1/+1 |
| 2022-09-22 | Normalize opaques with escaping bound vars | Michael Goulet | -1/+1 |
| 2022-09-19 | remove the `Subst` trait, always use `EarlyBinder` | lcnr | -1/+0 |
| 2022-09-13 | Auto merge of #96709 - jackh726:gats-stabilization, r=compiler-errors | bors | -2/+0 |
| 2022-09-12 | Auto merge of #100251 - compiler-errors:tuple-trait-2, r=jackh726 | bors | -2/+4 |
| 2022-09-09 | Handle generic parameters. | Camille GILLOT | -1/+1 |
| 2022-09-09 | Deeply check that method signatures match, and allow for nested RPITITs | Michael Goulet | -7/+6 |
| 2022-09-09 | Address nits | Michael Goulet | -3/+3 |
| 2022-09-09 | Implement projection for ImplTraitPlaceholder | Michael Goulet | -0/+117 |
| 2022-09-09 | Lower RPITIT to ImplTraitPlaceholder item | Michael Goulet | -0/+5 |
| 2022-09-08 | don't evaluate with escaping bound vars | lcnr | -4/+44 |
| 2022-09-08 | stop evaluating constants in `Relate` | lcnr | -1/+1 |
| 2022-09-05 | Pack `Term` in the same way as `GenericArg`. | Nicholas Nethercote | -1/+1 |
| 2022-09-01 | Directly use the `instrument` macro instead of its full path | Oli Scherer | -4/+4 |
| 2022-08-30 | Stabilize GATs | Jack Huey | -2/+0 |
| 2022-08-26 | Don't catch overflow when running with cargo doc | ouz-a | -1/+4 |
| 2022-08-19 | Catch overflow early | ouz-a | -0/+12 |
| 2022-08-18 | Auto merge of #99860 - oli-obk:revert_97346, r=pnkfelix | bors | -4/+14 |
| 2022-08-09 | don't normalize wf predicates | lcnr | -0/+9 |
| 2022-08-07 | Built-in implementation of Tuple trait | Michael Goulet | -2/+4 |
| 2022-08-03 | Add bound_impl_subject and bound_return_ty | Jack Huey | -6/+6 |
| 2022-08-02 | Auto merge of #100032 - BoxyUwU:no_ty_in_placeholder_const, r=compiler-errors | bors | -4/+1 |
| 2022-08-01 | Store associated item defaultness in impl_defaultness. | Camille GILLOT | -2/+6 |
| 2022-08-01 | fmt... | Ellen | -4/+1 |
| 2022-08-01 | make `PlaceholderConst` not store the type of the const | Ellen | -1/+1 |
| 2022-07-28 | Revert "Rollup merge of #97346 - JohnTitor:remove-back-compat-hacks, r=oli-obk" | Oli Scherer | -4/+14 |
| 2022-07-14 | eagerly check for bound vars of predicates | lcnr | -0/+4 |
| 2022-07-14 | remove `ct.has_vars_bound_at_or_above` calls | lcnr | -2/+1 |
| 2022-07-06 | Update TypeVisitor paths | Alan Egerton | -2/+2 |
| 2022-07-05 | Relax constrained generics to TypeVisitable | Alan Egerton | -1/+2 |
| 2022-06-27 | Remove a back-compat hack on lazy TAIT | Yuki Okushi | -17/+4 |
| 2022-06-21 | Point at return expression for RPIT-related error | Michael Goulet | -0/+2 |