about summary refs log tree commit diff
path: root/compiler/rustc_next_trait_solver/src/solve
AgeCommit message (Expand)AuthorLines
2024-07-12enable fuzzing of `SearchGraph`lcnr-592/+114
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)-6/+8
2024-07-07Finish uplifting supertraitsMichael Goulet-2/+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-1/+3
2024-07-05Split SolverDelegate back out from InferCtxtLikeMichael Goulet-3/+3
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-428/+404
2024-06-18Make rustc_next_trait_solver nightly againMichael Goulet-53/+71
2024-06-18Fix transmute goalMichael Goulet-37/+17
2024-06-18Explicitly import tracing macrosMichael Goulet-3/+14
2024-06-18Fix impl for SolverDelegateMichael Goulet-8/+67
2024-06-18Uplift the new trait solverMichael Goulet-0/+7038
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-26 14:11:38 +0000