about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
2024-06-16Rollup merge of #126127 - Alexendoo:other-trait-diag, r=pnkfelixJacob Pratt-1/+1
2024-06-16Auto merge of #126505 - compiler-errors:no-vtable, r=lcnrbors-170/+100
2024-06-15Rollup merge of #126525 - jieyouxu:traitsel-docs, r=compiler-errorsGuillaume Gomez-2/+2
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-15trait_selection: remove extra words许杰友 Jieyou Xu (Joe)-2/+2
2024-06-15Rollup merge of #126471 - oli-obk:filter_loop, r=compiler-errorsMatthias Krüger-11/+6
2024-06-15Rollup merge of #126354 - compiler-errors:variance, r=lcnrMatthias Krüger-4/+4
2024-06-14Only compute vtable information during codegenMichael Goulet-170/+100
2024-06-14Correctly consider depth when visiting WF goalsMichael Goulet-3/+18
2024-06-14Use is_lang_item more aggressivelyMichael Goulet-78/+77
2024-06-14Add TyCtxt::is_lang_itemMichael Goulet-39/+37
2024-06-14Make proof tree probing genericMichael Goulet-38/+45
2024-06-14Make Candidate generic over internerMichael Goulet-106/+107
2024-06-14Use a consistent way to filter out bounds instead of splitting it into three ...Oli Scherer-11/+6
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-9/+13
2024-06-13Check that alias-relate terms are WF if reporting an error in alias-relateMichael Goulet-0/+24
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-12Also passthrough for projection clausesMichael Goulet-1/+3
2024-06-12better error message for normalizes-to ambiguitiesMichael Goulet-0/+16
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-12Move MatchAgainstFreshVars to old solverMichael Goulet-2/+123
2024-06-12Spell out other trait diagnosticAlex Macleod-1/+1
2024-06-12Rollup merge of #126301 - nnethercote:sort-crate-attributes, r=davidtwcoJubilee-3/+5
2024-06-12Rollup merge of #126187 - surechen:fix_125997, r=oli-obkJubilee-0/+45
2024-06-12Use `tidy` to sort crate attributes for all compiler crates.Nicholas Nethercote-3/+5
2024-06-12Auto merge of #126130 - compiler-errors:goal-relations, r=lcnrbors-14/+11
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-11Try not to make obligations in handle_opaque_typeMichael Goulet-8/+7
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-11Auto merge of #126139 - compiler-errors:specializes, r=lcnrbors-25/+18
2024-06-07Only compute specializes query if specialization is enabled in the crate of t...Michael Goulet-25/+18
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