about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2024-07-03Auto merge of #123737 - compiler-errors:alias-wf, r=lcnrbors-9/+3
2024-07-02Actually report normalization-based type errors correctly for alias-relate ob...Michael Goulet-48/+101
2024-07-02Fix spansMichael Goulet-1/+2
2024-07-02Miscellaneous renamingMichael Goulet-3/+3
2024-07-02Rollup merge of #127230 - hattizai:patch01, r=saethlinMatthias Krüger-2/+2
2024-07-02Rollup merge of #127146 - compiler-errors:fast-reject, r=lcnrMatthias Krüger-2/+2
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-24/+24
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-7313/+479
2024-06-18Remove redundant argument from `subdiagnostic` methodOli Scherer-5/+2
2024-06-18Use a dedicated type instead of a reference for the diagnostic contextOli Scherer-2/+2
2024-06-18Fix transmute goalMichael Goulet-1/+27
2024-06-18Fix impl for SolverDelegateMichael Goulet-77/+310
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 #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-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