about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits
AgeCommit message (Expand)AuthorLines
2024-06-15Rollup merge of #126471 - oli-obk:filter_loop, r=compiler-errorsMatthias Krüger-11/+6
2024-06-14Only compute vtable information during codegenMichael Goulet-110/+79
2024-06-14Use is_lang_item more aggressivelyMichael Goulet-78/+77
2024-06-14Add TyCtxt::is_lang_itemMichael Goulet-1/+1
2024-06-14Use a consistent way to filter out bounds instead of splitting it into three ...Oli Scherer-11/+6
2024-06-13LangItem-ify Coroutine trait in solversMichael Goulet-4/+5
2024-06-12Rollup merge of #126353 - compiler-errors:move-match, r=lcnrJubilee-2/+123
2024-06-12Rollup merge of #126142 - compiler-errors:trait-ref-split, r=jackh726Jubilee-99/+98
2024-06-12Rebase falloutMichael Goulet-7/+8
2024-06-12Stop passing traitref/traitpredicate by refMichael Goulet-30/+26
2024-06-12Stop passing both trait pred and trait refMichael Goulet-16/+18
2024-06-12Harmonize use of leaf and root obligation in trait error reportingMichael Goulet-53/+53
2024-06-12better error message for normalizes-to ambiguitiesMichael Goulet-0/+16
2024-06-12Move MatchAgainstFreshVars to old solverMichael Goulet-2/+123
2024-06-12Spell out other trait diagnosticAlex Macleod-1/+1
2024-06-12Rollup merge of #126187 - surechen:fix_125997, r=oli-obkJubilee-0/+45
2024-06-12Auto merge of #126130 - compiler-errors:goal-relations, r=lcnrbors-6/+4
2024-06-12For E0277 suggest adding `Result` return type for function which using Quesio...surechen-0/+45
2024-06-11Rollup merge of #126055 - lengrongfu:master, r=pnkfelix许杰友 Jieyou Xu (Joe)-2/+6
2024-06-11Get rid of PredicateObligationsMichael Goulet-6/+4
2024-06-11Rollup merge of #126258 - oli-obk:recursive_rpit, r=lcnr许杰友 Jieyou Xu (Joe)-1/+1
2024-06-11Revert "When checking whether an impl applies, constrain hidden types of opaq...Oli Scherer-1/+1
2024-06-07Only compute specializes query if specialization is enabled in the crate of t...Michael Goulet-25/+18
2024-06-06Uplift TypeRelation and RelateMichael Goulet-2/+2
2024-06-06Uplift TypeErrorMichael Goulet-6/+7
2024-06-06Auto merge of #125958 - BoxyUwU:remove_const_ty, r=lcnrbors-111/+97
2024-06-06Expand list of trait implementers in E0277 when calling rustc with --verboserongfu.leng-2/+6
2024-06-05Fully implement `ConstArgHasType`Boxy-86/+86
2024-06-05Add `Ty` to `ConstKind::Value`Boxy-3/+2
2024-06-05Basic removal of `Ty` from places (boring)Boxy-31/+18
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)-9/+9
2024-06-04Auto merge of #125380 - compiler-errors:wc-obj-safety, r=oli-obkbors-84/+9
2024-06-03Align Term methods with GenericArg methodsMichael Goulet-9/+9
2024-06-03Nits and formattingMichael Goulet-79/+49
2024-06-03check_is_object_safe -> is_object_safeMichael Goulet-6/+6
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-22/+14
2024-06-03Move FulfillmentErrorCode to rustc_trait_selection tooMichael Goulet-1/+39
2024-06-03Use ScrubbedTraitError in more placesMichael Goulet-8/+13
2024-06-03Opt-in diagnostics reporting to avoid doing extra work in the new solverMichael Goulet-50/+110
2024-06-03Make TraitEngines generic over errorMichael Goulet-43/+111
2024-06-03Remove unnecessary extension traitMichael Goulet-3/+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-4/+4
2024-06-01Uplift TypeRelation and RelateMichael Goulet-4/+4