about summary refs log tree commit diff
path: root/compiler/rustc_next_trait_solver/src
AgeCommit message (Expand)AuthorLines
2024-08-14Rollup merge of #128828 - lcnr:search-graph-11, r=compiler-errors许杰友 Jieyou Xu (Joe)-114/+58
2024-08-13implement a performant and fuzzed solver cachelcnr-21/+31
2024-08-12expand fuzzing supportlcnr-0/+9
2024-08-12do not use the global solver cache for proof treeslcnr-94/+19
2024-08-12Remove some unnecessary `skip_binder` calls.Nicholas Nethercote-2/+2
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-9/+10
2024-08-08Don't implement AsyncFn for FnDef/FnPtr that wouldnt implement FnMichael Goulet-21/+39
2024-08-05Elaborate supertraits in dyn candidatesMichael Goulet-6/+14
2024-08-05Enforce supertrait outlives obligations hold when confirming implMichael Goulet-0/+13
2024-07-30Rollup merge of #127574 - lcnr:coherence-check-supertrait, r=compiler-errorsMatthias Krüger-0/+12
2024-07-29Reformat `use` declarations.Nicholas Nethercote-12/+10
2024-07-26Make coroutine-closures possible to be clonedMichael Goulet-1/+4
2024-07-12rustc_next_trait_solver: derivative -> derive-wherePavel Grigorenko-24/+17
2024-07-12enable fuzzing of `SearchGraph`lcnr-592/+114
2024-07-10elaborate unknowable goalslcnr-0/+12
2024-07-10Rollup merge of #127508 - lcnr:search-graph-prep, r=compiler-errorsJacob Pratt-34/+32
2024-07-09cycle_participants to nested_goalslcnr-11/+11
2024-07-09use `update_parent_goal` for lazy updateslcnr-20/+10
2024-07-09exhaustively destructure external constraintslcnr-3/+11
2024-07-08Rollup merge of #127439 - compiler-errors:uplift-elaborate, r=lcnr许杰友 Jieyou Xu (Joe)-12/+8
2024-07-07Finish uplifting supertraitsMichael Goulet-8/+3
2024-07-07Get rid of the redundant elaboration in middleMichael Goulet-3/+2
2024-07-07Uplift elaborationMichael Goulet-1/+3
2024-07-07Get rid of trait_ref_is_knowable from delegateMichael Goulet-10/+3
2024-07-07Uplift trait_ref_is_knowable and friendsMichael Goulet-0/+470
2024-07-06Uplift PredicateEmittingRelation firstMichael Goulet-0/+50
2024-07-05Split SolverDelegate back out from InferCtxtLikeMichael Goulet-93/+14
2024-07-03Rollup merge of #127145 - compiler-errors:as_lang_item, r=lcnrMatthias Krüger-41/+76
2024-07-02Make fn traits into first-class TraitSolverLangItems to avoid needing fn_trai...Michael Goulet-4/+26
2024-07-02add TyCtxt::as_lang_item, use in new solverMichael Goulet-37/+50
2024-07-02Rollup merge of #127146 - compiler-errors:fast-reject, r=lcnrMatthias Krüger-2/+5
2024-06-30Uplift fast rejection to new solverMichael Goulet-2/+5
2024-06-29Auto merge of #120639 - fee1-dead-contrib:new-effects-desugaring, r=oli-obkbors-0/+110
2024-06-28address review commentsDeadbeef-7/+11
2024-06-28finishing touches, move fixed ICEs to ui testsDeadbeef-4/+4
2024-06-28general fixups and turn `TODO`s into `FIXME`sDeadbeef-5/+4
2024-06-28Implement `Min` trait in new solverDeadbeef-0/+107
2024-06-27Make queries more explicitMichael Goulet-2/+3
2024-06-25Rename tcx to cxMichael Goulet-347/+333
2024-06-24Also migrate FnInputTysMichael Goulet-5/+9
2024-06-24Replace Deref bounds on Interner in favor of a SliceLike traitMichael Goulet-59/+57
2024-06-24Split out IntoIterator and non-Iterator constructors for AliasTy/AliasTerm/Tr...Michael Goulet-1/+1
2024-06-21Rename a bunch of thingsMichael Goulet-473/+447
2024-06-18Make rustc_next_trait_solver nightly againMichael Goulet-55/+71
2024-06-18Fix transmute goalMichael Goulet-38/+26
2024-06-18Explicitly import tracing macrosMichael Goulet-7/+14
2024-06-18Fix impl for SolverDelegateMichael Goulet-8/+75
2024-06-18Uplift the new trait solverMichael Goulet-3/+7158
2024-06-18SolverDelegateMichael Goulet-10/+90
2024-06-16Add a noteMichael Goulet-0/+6
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 20:12:49 +0000