about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve
AgeCommit message (Expand)AuthorLines
2024-06-14Make Candidate generic over internerMichael Goulet-106/+107
2024-06-13Address nitsMichael Goulet-23/+30
2024-06-13Fix some TODOsMichael Goulet-5/+4
2024-06-13Finish uplifting all of structural_traitsMichael Goulet-187/+156
2024-06-13Rework most of structural_traits to be Interner-agnosticMichael Goulet-103/+114
2024-06-13LangItem-ify Coroutine trait in solversMichael Goulet-5/+8
2024-06-13Check that alias-relate terms are WF if reporting an error in alias-relateMichael Goulet-0/+24
2024-06-12Also passthrough for projection clausesMichael Goulet-1/+3
2024-06-12Walk into alias-eq nested goals even if normalization failsMichael Goulet-7/+15
2024-06-12Use Variance glob import everywhereMichael Goulet-4/+4
2024-06-11Try not to make obligations in handle_opaque_typeMichael Goulet-8/+7
2024-06-06Uplift TypeRelation and RelateMichael Goulet-4/+4
2024-06-05Fully implement `ConstArgHasType`Boxy-17/+24
2024-06-05Add `Ty` to `ConstKind::Value`Boxy-3/+10
2024-06-05Basic removal of `Ty` from places (boring)Boxy-28/+17
2024-06-04Rollup merge of #125750 - compiler-errors:expect, r=lcnr许杰友 Jieyou Xu (Joe)-2/+2
2024-06-04Auto merge of #125380 - compiler-errors:wc-obj-safety, r=oli-obkbors-3/+3
2024-06-03Align Term methods with GenericArg methodsMichael Goulet-2/+2
2024-06-03Nits and formattingMichael Goulet-24/+26
2024-06-03check_is_object_safe -> is_object_safeMichael Goulet-3/+3
2024-06-03Add cycle errors to ScrubbedTraitError to remove a couple more calls to new_w...Michael Goulet-3/+3
2024-06-03Move FulfillmentErrorCode to rustc_trait_selection tooMichael Goulet-4/+3
2024-06-03Use ScrubbedTraitError in more placesMichael Goulet-5/+3
2024-06-03Opt-in diagnostics reporting to avoid doing extra work in the new solverMichael Goulet-1/+13
2024-06-03Make TraitEngines generic over errorMichael Goulet-42/+97
2024-06-03Remove unnecessary extension traitMichael Goulet-1/+0
2024-06-01Auto merge of #125775 - compiler-errors:uplift-closure-args, r=lcnrbors-4/+4
2024-06-01Uplift TypeRelation and RelateMichael Goulet-4/+4
2024-06-01Deduplicate supertrait_def_ids codeMark Rousskov-3/+2
2024-05-31Stop using translate_args in the new solverMichael Goulet-57/+79
2024-05-31Auto merge of #124662 - zetanumbers:needs_async_drop, r=oli-obkbors-1/+1
2024-05-30add logging to search graphlcnr-1/+2
2024-05-30Auto merge of #125671 - BoxyUwU:remove_const_ty_eq, r=compiler-errorsbors-2/+24
2024-05-29Add lang item for AsyncFnKindHelper::UpvarsMichael Goulet-8/+1
2024-05-29Add lang item for Future::OutputMichael Goulet-12/+2
2024-05-29Add lang items for AsyncFn's associated typesMichael Goulet-8/+14
2024-05-29Partially implement `ConstArgHasType`Boxy-2/+24
2024-05-29Optimize async drop glue for some old typesDaria Sukhonina-1/+1
2024-05-29Rollup merge of #125664 - compiler-errors:trace-tweaks, r=lcnr许杰友 Jieyou Xu (Joe)-7/+2
2024-05-28Get rid of manual Trace callsMichael Goulet-7/+2
2024-05-28Make ProofTreeBuilder actually generic over internerMichael Goulet-79/+80
2024-05-28EvalCtxt::tcx() -> EvalCtxt::interner()Michael Goulet-92/+108
2024-05-28eagerly normalize when adding goalslcnr-2/+75
2024-05-28refactor analyse visitor to instantiate states in orderlcnr-45/+41
2024-05-28add debug_assert to alias-relatelcnr-0/+1
2024-05-27Auto merge of #125413 - lcnr:ambig-drop-region-constraints, r=compiler-errorsbors-25/+39
2024-05-24drop region constraints for ambiguous goalslcnr-25/+39
2024-05-24remove proof tree formatter, make em shallowlcnr-200/+92
2024-05-22Rollup merge of #125259 - compiler-errors:fn-mut-as-a-treat, r=oli-obkLeón Orell Valerian Liehr-8/+5
2024-05-22Auto merge of #125326 - weiznich:move/do_not_recommend_to_diganostic_namespac...bors-1/+4
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 02:17:01 +0000