summary refs log tree commit diff
path: root/compiler/rustc_next_trait_solver/src/solve
AgeCommit message (Expand)AuthorLines
2024-10-12Shallowly match opaque key in storageMichael Goulet-43/+42
2024-10-11remove outdated FIXMEslcnr-15/+4
2024-10-10Auto merge of #131263 - compiler-errors:solver-relating, r=lcnrbors-1/+3
2024-10-10impossible obligations check fast pathlcnr-21/+62
2024-10-10Use SolverRelating in favor of TypeRelating in the old solver where possibleMichael Goulet-1/+1
2024-10-10Use SolverRelating in new solverMichael Goulet-0/+2
2024-10-02Auto merge of #130821 - lcnr:nalgebra-hang-2, r=compiler-errorsbors-13/+39
2024-10-02reviewlcnr-7/+8
2024-10-01add caches to multiple type folderslcnr-13/+38
2024-09-28Rollup merge of #130866 - compiler-errors:dyn-instantiate-binder, r=lcnrMatthias Krüger-27/+38
2024-09-27Instantiate binders when checking supertrait upcastingMichael Goulet-27/+38
2024-09-26Check allow instantiating object trait binder when upcasting and in new solverMichael Goulet-3/+3
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-8/+8
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-92/+68
2024-09-20add commentlcnr-0/+4
2024-09-20bail if there are too many non-region infer varslcnr-0/+7
2024-09-12Rollup merge of #130273 - lcnr:overflow-no-constraints, r=compiler-errorsMatthias Krüger-26/+22
2024-09-12more eagerly discard constraints on overflowlcnr-26/+22
2024-09-11clippy::useless_conversionMichael Goulet-1/+0
2024-09-06Auto merge of #128776 - Bryanskiy:deep-reject-ctxt, r=lcnrbors-4/+17
2024-09-03do not attempt to prove unknowable goalslcnr-34/+32
2024-09-02Use `DeepRejectCtxt` to quickly reject `ParamEnv` candidatesBryanskiy-4/+17
2024-09-02chore: Fix typos in 'compiler' (batch 2)Alexander Cyon-3/+3
2024-08-29Add `warn(unreachable_pub)` to `rustc_next_trait_solver`.Nicholas Nethercote-26/+33
2024-08-27safe transmute: Rename `BikeshedIntrinsicFrom` to `TransmuteFrom`Jack Wrenn-1/+1
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-7/+8
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-11/+8
2024-07-26Make coroutine-closures possible to be clonedMichael Goulet-1/+4
2024-07-12rustc_next_trait_solver: derivative -> derive-wherePavel Grigorenko-20/+14
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)-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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 10:36:34 +0000