| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-06-18 | Fix impl for SolverDelegate | Michael Goulet | -76/+297 |
| 2024-06-18 | Uplift the new trait solver | Michael Goulet | -7260/+0 |
| 2024-06-18 | SolverDelegate | Michael Goulet | -148/+339 |
| 2024-06-18 | Make SearchGraph fully generic | Michael Goulet | -73/+49 |
| 2024-06-16 | Uplift OpaqueTypeKey too, use it in response | Michael Goulet | -9/+3 |
| 2024-06-16 | Uplift ExternalConstraintData | Michael Goulet | -15/+27 |
| 2024-06-16 | Make ExternalConstraints just carry outlives | Michael Goulet | -18/+22 |
| 2024-06-16 | Stop using AssocKind in new solver | Michael Goulet | -13/+11 |
| 2024-06-16 | Move InferCtxtSelectExt out of eval_ctxt module | Michael Goulet | -3/+3 |
| 2024-06-16 | Auto merge of #126505 - compiler-errors:no-vtable, r=lcnr | bors | -60/+21 |
| 2024-06-15 | Rollup merge of #126496 - compiler-errors:more-generics, r=lcnr | Guillaume Gomez | -143/+151 |
| 2024-06-15 | Rollup merge of #126404 - compiler-errors:alias-relate-terms, r=lcnr | Guillaume Gomez | -1/+40 |
| 2024-06-15 | Rollup merge of #126354 - compiler-errors:variance, r=lcnr | Matthias Krüger | -4/+4 |
| 2024-06-14 | Only compute vtable information during codegen | Michael Goulet | -60/+21 |
| 2024-06-14 | Correctly consider depth when visiting WF goals | Michael Goulet | -3/+18 |
| 2024-06-14 | Add TyCtxt::is_lang_item | Michael Goulet | -38/+36 |
| 2024-06-14 | Make proof tree probing generic | Michael Goulet | -38/+45 |
| 2024-06-14 | Make Candidate generic over interner | Michael Goulet | -106/+107 |
| 2024-06-13 | Address nits | Michael Goulet | -23/+30 |
| 2024-06-13 | Fix some TODOs | Michael Goulet | -5/+4 |
| 2024-06-13 | Finish uplifting all of structural_traits | Michael Goulet | -187/+156 |
| 2024-06-13 | Rework most of structural_traits to be Interner-agnostic | Michael Goulet | -103/+114 |
| 2024-06-13 | LangItem-ify Coroutine trait in solvers | Michael Goulet | -5/+8 |
| 2024-06-13 | Check that alias-relate terms are WF if reporting an error in alias-relate | Michael Goulet | -0/+24 |
| 2024-06-12 | Also passthrough for projection clauses | Michael Goulet | -1/+3 |
| 2024-06-12 | Walk into alias-eq nested goals even if normalization fails | Michael Goulet | -7/+15 |
| 2024-06-12 | Use Variance glob import everywhere | Michael Goulet | -4/+4 |
| 2024-06-11 | Try not to make obligations in handle_opaque_type | Michael Goulet | -8/+7 |
| 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 |
