about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve
AgeCommit message (Expand)AuthorLines
2024-06-21Rename a bunch of thingsMichael Goulet-6/+6
2024-06-18Fix transmute goalMichael Goulet-1/+27
2024-06-18Fix impl for SolverDelegateMichael Goulet-76/+297
2024-06-18Uplift the new trait solverMichael Goulet-7260/+0
2024-06-18SolverDelegateMichael Goulet-148/+339
2024-06-18Make SearchGraph fully genericMichael Goulet-73/+49
2024-06-16Uplift OpaqueTypeKey too, use it in responseMichael Goulet-9/+3
2024-06-16Uplift ExternalConstraintDataMichael Goulet-15/+27
2024-06-16Make ExternalConstraints just carry outlivesMichael Goulet-18/+22
2024-06-16Stop using AssocKind in new solverMichael Goulet-13/+11
2024-06-16Move InferCtxtSelectExt out of eval_ctxt moduleMichael Goulet-3/+3
2024-06-16Auto merge of #126505 - compiler-errors:no-vtable, r=lcnrbors-60/+21
2024-06-15Rollup merge of #126496 - compiler-errors:more-generics, r=lcnrGuillaume Gomez-143/+151
2024-06-15Rollup merge of #126404 - compiler-errors:alias-relate-terms, r=lcnrGuillaume Gomez-1/+40
2024-06-15Rollup merge of #126354 - compiler-errors:variance, r=lcnrMatthias Krüger-4/+4
2024-06-14Only compute vtable information during codegenMichael Goulet-60/+21
2024-06-14Correctly consider depth when visiting WF goalsMichael Goulet-3/+18
2024-06-14Add TyCtxt::is_lang_itemMichael Goulet-38/+36
2024-06-14Make proof tree probing genericMichael Goulet-38/+45
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-26 09:13:13 +0000