summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
2024-07-11instantiate higher ranked goals in candidate selectionlcnr-54/+12
2024-06-20Only compute specializes query if specialization is enabled in the crate of t...Michael Goulet-25/+18
2024-06-13Revert "When checking whether an impl applies, constrain hidden types of opaq...Oli Scherer-1/+1
2024-06-07Rollup merge of #126089 - wutchzone:option_take_if, r=scottmcmMatthias Krüger-1/+0
2024-06-06Stabilize Option::take_ifDaniel Sedlak-1/+0
2024-06-06Uplift TypeRelation and RelateMichael Goulet-6/+6
2024-06-06Uplift TypeErrorMichael Goulet-6/+7
2024-06-06Auto merge of #125958 - BoxyUwU:remove_const_ty, r=lcnrbors-155/+144
2024-06-05Fully implement `ConstArgHasType`Boxy-103/+110
2024-06-05Add `Ty` to `ConstKind::Value`Boxy-6/+12
2024-06-05Basic removal of `Ty` from places (boring)Boxy-59/+35
2024-06-05Auto merge of #126038 - matthiaskrgr:rollup-h4rm3x2, r=matthiaskrgrbors-35/+24
2024-06-05Rollup merge of #125871 - fmease:fix-orphanck-opaques, r=lcnrMatthias Krüger-35/+24
2024-06-05Rollup merge of #125792 - compiler-errors:dont-drop-upcast-cand, r=lcnrMatthias Krüger-0/+6
2024-06-04Orphanck: Consider opaque types to never cover type parametersLeón Orell Valerian Liehr-35/+24
2024-06-04Rollup merge of #125717 - weiznich:move/do_not_recommend_to_diganostic_namesp...Michael Goulet-8/+18
2024-06-04Rollup merge of #125750 - compiler-errors:expect, r=lcnr许杰友 Jieyou Xu (Joe)-11/+11
2024-06-04Auto merge of #125380 - compiler-errors:wc-obj-safety, r=oli-obkbors-87/+12
2024-06-03Align Term methods with GenericArg methodsMichael Goulet-11/+11
2024-06-03Nits and formattingMichael Goulet-103/+75
2024-06-03check_is_object_safe -> is_object_safeMichael Goulet-9/+9
2024-06-03Make WHERE_CLAUSES_OBJECT_SAFETY a regular object safety violationMichael Goulet-78/+3
2024-06-03Add cycle errors to ScrubbedTraitError to remove a couple more calls to new_w...Michael Goulet-36/+22
2024-06-03Move FulfillmentErrorCode to rustc_trait_selection tooMichael Goulet-5/+42
2024-06-03Use ScrubbedTraitError in more placesMichael Goulet-16/+18
2024-06-03Opt-in diagnostics reporting to avoid doing extra work in the new solverMichael Goulet-58/+134
2024-06-03Make TraitEngines generic over errorMichael Goulet-86/+211
2024-06-03Remove unnecessary extension traitMichael Goulet-4/+1
2024-06-03Auto merge of #125778 - estebank:issue-67100, r=compiler-errorsbors-5/+6
2024-06-01Auto merge of #125775 - compiler-errors:uplift-closure-args, r=lcnrbors-8/+8
2024-06-01Uplift TypeRelation and RelateMichael Goulet-8/+8
2024-06-01Deduplicate supertrait_def_ids codeMark Rousskov-50/+10
2024-06-01Increase vtable layout sizeMark Rousskov-53/+60
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-2/+2
2024-05-31Rollup merge of #125635 - fmease:mv-type-binding-assoc-item-constraint, r=com...Matthias Krüger-7/+5
2024-05-30Don't drop Upcast candidate in intercrate modeMichael Goulet-0/+6
2024-05-30Rename HIR `TypeBinding` to `AssocItemConstraint` and related cleanupLeón Orell Valerian Liehr-7/+5
2024-05-30add logging to search graphlcnr-1/+2
2024-05-30Auto merge of #125711 - oli-obk:const_block_ice2, r=Nadrierilbors-17/+11
2024-05-30Auto merge of #125671 - BoxyUwU:remove_const_ty_eq, r=compiler-errorsbors-13/+89
2024-05-29Use parenthetical notation for `Fn` traitsEsteban Küber-5/+6
2024-05-29Refactor `#[diagnostic::do_not_recommend]` supportGeorg Semmler-8/+18
2024-05-29Add lang item for AsyncFnKindHelper::UpvarsMichael Goulet-24/+5
2024-05-29Add lang item for Future::OutputMichael Goulet-26/+4
2024-05-29Add lang items for AsyncFn's associated typesMichael Goulet-8/+14
2024-05-29Partially implement `ConstArgHasType`Boxy-13/+89
2024-05-29Make `body_owned_by` return the body directly.Oli Scherer-16/+10
2024-05-29Don't require `visit_body` to take a lifetime that must outlive the function ...Oli Scherer-1/+1
2024-05-29Optimize async drop glue for some old typesDaria Sukhonina-2/+2