| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-06-03 | Opt-in diagnostics reporting to avoid doing extra work in the new solver | Michael Goulet | -58/+134 |
| 2024-06-03 | Make TraitEngines generic over error | Michael Goulet | -86/+211 |
| 2024-06-03 | Remove unnecessary extension trait | Michael Goulet | -4/+1 |
| 2024-06-03 | Auto merge of #125778 - estebank:issue-67100, r=compiler-errors | bors | -5/+6 |
| 2024-06-01 | Auto merge of #125775 - compiler-errors:uplift-closure-args, r=lcnr | bors | -8/+8 |
| 2024-06-01 | Uplift TypeRelation and Relate | Michael Goulet | -8/+8 |
| 2024-06-01 | Deduplicate supertrait_def_ids code | Mark Rousskov | -50/+10 |
| 2024-06-01 | Increase vtable layout size | Mark Rousskov | -53/+60 |
| 2024-05-31 | Stop using translate_args in the new solver | Michael Goulet | -57/+79 |
| 2024-05-31 | Auto merge of #124662 - zetanumbers:needs_async_drop, r=oli-obk | bors | -2/+2 |
| 2024-05-31 | Rollup merge of #125635 - fmease:mv-type-binding-assoc-item-constraint, r=com... | Matthias Krüger | -7/+5 |
| 2024-05-30 | Rename HIR `TypeBinding` to `AssocItemConstraint` and related cleanup | León Orell Valerian Liehr | -7/+5 |
| 2024-05-30 | add logging to search graph | lcnr | -1/+2 |
| 2024-05-30 | Auto merge of #125711 - oli-obk:const_block_ice2, r=Nadrieril | bors | -17/+11 |
| 2024-05-30 | Auto merge of #125671 - BoxyUwU:remove_const_ty_eq, r=compiler-errors | bors | -13/+89 |
| 2024-05-29 | Use parenthetical notation for `Fn` traits | Esteban Küber | -5/+6 |
| 2024-05-29 | Add lang item for AsyncFnKindHelper::Upvars | Michael Goulet | -24/+5 |
| 2024-05-29 | Add lang item for Future::Output | Michael Goulet | -26/+4 |
| 2024-05-29 | Add lang items for AsyncFn's associated types | Michael Goulet | -8/+14 |
| 2024-05-29 | Partially implement `ConstArgHasType` | Boxy | -13/+89 |
| 2024-05-29 | Make `body_owned_by` return the body directly. | Oli Scherer | -16/+10 |
| 2024-05-29 | Don't require `visit_body` to take a lifetime that must outlive the function ... | Oli Scherer | -1/+1 |
| 2024-05-29 | Optimize async drop glue for some old types | Daria Sukhonina | -2/+2 |
| 2024-05-29 | Rollup merge of #125664 - compiler-errors:trace-tweaks, r=lcnr | 许杰友 Jieyou Xu (Joe) | -11/+12 |
| 2024-05-28 | Get rid of manual Trace calls | Michael Goulet | -11/+12 |
| 2024-05-28 | Make ProofTreeBuilder actually generic over interner | Michael Goulet | -79/+80 |
| 2024-05-28 | EvalCtxt::tcx() -> EvalCtxt::interner() | Michael Goulet | -92/+108 |
| 2024-05-28 | eagerly normalize when adding goals | lcnr | -2/+75 |
| 2024-05-28 | refactor analyse visitor to instantiate states in order | lcnr | -45/+41 |
| 2024-05-28 | add debug_assert to alias-relate | lcnr | -0/+1 |
| 2024-05-27 | Auto merge of #125413 - lcnr:ambig-drop-region-constraints, r=compiler-errors | bors | -25/+39 |
| 2024-05-27 | Rollup merge of #125597 - compiler-errors:early-binder, r=jackh726 | Guillaume Gomez | -1/+1 |
| 2024-05-27 | Auto merge of #125410 - fmease:adj-lint-diag-api, r=nnethercote | bors | -47/+37 |
| 2024-05-27 | Auto merge of #125468 - BoxyUwU:remove_defid_from_regionparam, r=compiler-errors | bors | -0/+1 |
| 2024-05-26 | Give EarlyBinder a tcx parameter | Michael Goulet | -1/+1 |
| 2024-05-25 | Rollup merge of #124080 - oli-obk:define_opaque_types10, r=compiler-errors | Matthias Krüger | -3/+3 |
| 2024-05-25 | Rollup merge of #125510 - lcnr:change-proof-trees-to-be-shallow, r=compiler-e... | Matthias Krüger | -233/+94 |
| 2024-05-24 | drop region constraints for ambiguous goals | lcnr | -25/+39 |
| 2024-05-24 | remove proof tree formatter, make em shallow | lcnr | -233/+94 |
| 2024-05-24 | Remove `DefId` from `EarlyParamRegion` (tedium/diagnostics) | Boxy | -0/+1 |
| 2024-05-24 | Use regular type equating instead of a custom query | Oli Scherer | -21/+1 |
| 2024-05-23 | Support constraining opaque types while trait upcasting with binders | Oli Scherer | -1/+1 |
| 2024-05-23 | Allow defining opaque types during trait object upcasting. | Oli Scherer | -1/+1 |
| 2024-05-23 | When checking whether an impl applies, constrain hidden types of opaque types. | Oli Scherer | -1/+1 |
| 2024-05-23 | Remove `LintDiagnostic::msg` | León Orell Valerian Liehr | -47/+37 |
| 2024-05-22 | Rollup merge of #125259 - compiler-errors:fn-mut-as-a-treat, r=oli-obk | León Orell Valerian Liehr | -20/+8 |
| 2024-05-22 | Auto merge of #125335 - compiler-errors:binder, r=lcnr | bors | -3/+3 |
| 2024-05-22 | Auto merge of #125326 - weiznich:move/do_not_recommend_to_diganostic_namespac... | bors | -2/+8 |
| 2024-05-21 | Uplift OutlivesPredicate, remove a bunch of unnecessary associated types from... | Michael Goulet | -2/+1 |
| 2024-05-21 | Uplift binder | Michael Goulet | -1/+2 |
