about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits
AgeCommit message (Expand)AuthorLines
2024-07-02chore: remove duplicate wordshattizai-2/+2
2024-07-01Auto merge of #126996 - oli-obk:do_not_count_errors, r=nnethercotebors-19/+19
2024-06-30Uplift fast rejection to new solverMichael Goulet-2/+2
2024-06-29Auto merge of #120639 - fee1-dead-contrib:new-effects-desugaring, r=oli-obkbors-0/+6
2024-06-28implement new effects desugaringDeadbeef-0/+6
2024-06-27Make queries more explicitMichael Goulet-5/+5
2024-06-26Automatically taint InferCtxt when errors are emittedOli Scherer-2/+2
2024-06-26Restrict diagnostic context lifetime of InferCtxt to itself instead of TyCtxtOli Scherer-3/+3
2024-06-26Restrict diagnostic context lifetime of TypeErrCtxt to InferCtxt instead of T...Oli Scherer-14/+14
2024-06-25Auto merge of #125610 - oli-obk:define_opaque_types14, r=compiler-errorsbors-4/+4
2024-06-25Auto merge of #126813 - compiler-errors:SliceLike, r=lcnrbors-17/+35
2024-06-24Split out IntoIterator and non-Iterator constructors for AliasTy/AliasTerm/Tr...Michael Goulet-17/+35
2024-06-24Suggest inline const blocks for array initializationPavel Grigorenko-33/+7
2024-06-21Rename a bunch of thingsMichael Goulet-17/+17
2024-06-20Rollup merge of #126717 - nnethercote:rustfmt-use-pre-cleanups, r=jieyouxuMatthias Krüger-0/+2
2024-06-20Rollup merge of #126620 - oli-obk:taint_errors, r=fee1-deadMatthias Krüger-100/+111
2024-06-20Add blank lines after module-level `//!` comments.Nicholas Nethercote-0/+2
2024-06-19Const generic parameters aren't bounds, even if we end up erroring because of...Oli Scherer-85/+103
2024-06-19Allow constraining opaque types during auto trait castingOli Scherer-1/+1
2024-06-19Allow constraining opaque types during unsizingOli Scherer-3/+3
2024-06-19Taint infcx when reporting errorsOli Scherer-15/+8
2024-06-18Auto merge of #126614 - compiler-errors:uplift-next-trait-solver, r=lcnrbors-1/+1
2024-06-18Remove redundant argument from `subdiagnostic` methodOli Scherer-5/+2
2024-06-18Fix impl for SolverDelegateMichael Goulet-1/+1
2024-06-16Auto merge of #126540 - jhpratt:rollup-fzzz8j3, r=jhprattbors-1/+1
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-110/+79
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-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