| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-06-06 | Uplift TypeRelation and Relate | Michael Goulet | -4/+4 |
| 2024-06-05 | Fully implement `ConstArgHasType` | Boxy | -17/+24 |
| 2024-06-05 | Add `Ty` to `ConstKind::Value` | Boxy | -3/+10 |
| 2024-06-05 | Basic removal of `Ty` from places (boring) | Boxy | -28/+17 |
| 2024-06-04 | Rollup merge of #125750 - compiler-errors:expect, r=lcnr | 许杰友 Jieyou Xu (Joe) | -2/+2 |
| 2024-06-04 | Auto merge of #125380 - compiler-errors:wc-obj-safety, r=oli-obk | bors | -3/+3 |
| 2024-06-03 | Align Term methods with GenericArg methods | Michael Goulet | -2/+2 |
| 2024-06-03 | Nits and formatting | Michael Goulet | -24/+26 |
| 2024-06-03 | check_is_object_safe -> is_object_safe | Michael Goulet | -3/+3 |
| 2024-06-03 | Add cycle errors to ScrubbedTraitError to remove a couple more calls to new_w... | Michael Goulet | -3/+3 |
| 2024-06-03 | Move FulfillmentErrorCode to rustc_trait_selection too | Michael Goulet | -4/+3 |
| 2024-06-03 | Use ScrubbedTraitError in more places | Michael Goulet | -5/+3 |
| 2024-06-03 | Opt-in diagnostics reporting to avoid doing extra work in the new solver | Michael Goulet | -1/+13 |
| 2024-06-03 | Make TraitEngines generic over error | Michael Goulet | -42/+97 |
| 2024-06-03 | Remove unnecessary extension trait | Michael Goulet | -1/+0 |
| 2024-06-01 | Auto merge of #125775 - compiler-errors:uplift-closure-args, r=lcnr | bors | -4/+4 |
| 2024-06-01 | Uplift TypeRelation and Relate | Michael Goulet | -4/+4 |
| 2024-06-01 | Deduplicate supertrait_def_ids code | Mark Rousskov | -3/+2 |
| 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 | -1/+1 |
| 2024-05-30 | add logging to search graph | lcnr | -1/+2 |
| 2024-05-30 | Auto merge of #125671 - BoxyUwU:remove_const_ty_eq, r=compiler-errors | bors | -2/+24 |
| 2024-05-29 | Add lang item for AsyncFnKindHelper::Upvars | Michael Goulet | -8/+1 |
| 2024-05-29 | Add lang item for Future::Output | Michael Goulet | -12/+2 |
| 2024-05-29 | Add lang items for AsyncFn's associated types | Michael Goulet | -8/+14 |
| 2024-05-29 | Partially implement `ConstArgHasType` | Boxy | -2/+24 |
| 2024-05-29 | Optimize async drop glue for some old types | Daria Sukhonina | -1/+1 |
| 2024-05-29 | Rollup merge of #125664 - compiler-errors:trace-tweaks, r=lcnr | 许杰友 Jieyou Xu (Joe) | -7/+2 |
| 2024-05-28 | Get rid of manual Trace calls | Michael Goulet | -7/+2 |
| 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-24 | drop region constraints for ambiguous goals | lcnr | -25/+39 |
| 2024-05-24 | remove proof tree formatter, make em shallow | lcnr | -200/+92 |
| 2024-05-22 | Rollup merge of #125259 - compiler-errors:fn-mut-as-a-treat, r=oli-obk | León Orell Valerian Liehr | -8/+5 |
| 2024-05-22 | Auto merge of #125326 - weiznich:move/do_not_recommend_to_diganostic_namespac... | bors | -1/+4 |
| 2024-05-21 | Move `#[do_not_recommend]` to the `#[diagnostic]` namespace | Georg Semmler | -1/+4 |
| 2024-05-21 | Auto merge of #125284 - compiler-errors:uplift-misc, r=lcnr | bors | -2/+2 |
| 2024-05-20 | track cycle participants per entry | lcnr | -50/+128 |
| 2024-05-20 | move global cache lookup into fn | lcnr | -42/+44 |
| 2024-05-20 | move fixpoint step into subfunction | lcnr | -53/+76 |
| 2024-05-20 | Rework var resolution in InferCtxtLike, uplift EagerResolver | Michael Goulet | -2/+2 |
| 2024-05-19 | Make EvalCtxt generic over interner | Michael Goulet | -121/+138 |
| 2024-05-19 | Make search graph generic over interner | Michael Goulet | -53/+63 |
| 2024-05-18 | Move NormalizesTo back down | Michael Goulet | -5/+7 |
| 2024-05-18 | Stop using def_kind() in solver | Michael Goulet | -17/+8 |
| 2024-05-18 | Make proof tree building generic | Michael Goulet | -93/+107 |
