summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/mod.rs
AgeCommit message (Expand)AuthorLines
2023-05-26remove unnecessary `.ok()` callslcnr-6/+14
2023-05-26do not prefer substs relate during coherencelcnr-3/+11
2023-05-25Pre-populate MIR with opaques, prefer subst-relate candidateMichael Goulet-22/+22
2023-05-25Pull out logic from #111131, plus some new logic in EvalCtxt::normalize_opaqu...Michael Goulet-1/+2
2023-04-26Split out make_ambiguous_response_no_constraintsMichael Goulet-11/+11
2023-04-10review + some small stufflcnr-1/+1
2023-04-10prioritize param-env candidateslcnr-32/+57
2023-04-05Tweak debug outputs to make debugging new solver easierMichael Goulet-5/+21
2023-03-29Rollup merge of #109511 - compiler-errors:eval-ctxt-infcx-private, r=lcnrMatthias Krüger-17/+8
2023-03-29Move canonicalization code aroundMichael Goulet-3/+2
2023-03-25Remove some stale FIXMEs in new solverMichael Goulet-4/+0
2023-03-24Make EvalCtxt's infcx privateMichael Goulet-16/+8
2023-03-23Auto merge of #109517 - matthiaskrgr:rollup-m3orqzd, r=matthiaskrgrbors-43/+77
2023-03-23Remove AliasRelationDirection::SupertypeMichael Goulet-67/+50
2023-03-23Rename AliasEq -> AliasRelateMichael Goulet-5/+7
2023-03-23Include relation direction in AliasEq predicateMichael Goulet-23/+72
2023-03-21new solver cleanup + coherencelcnr-5/+14
2023-03-17move `compute_goal` and `evaluate_x` methods to inner moduleBoxy-271/+3
2023-03-17fix bad assertionBoxy-6/+4
2023-03-17UNACEPTABLEBoxy-5/+5
2023-03-17add assertBoxy-2/+9
2023-03-17review nitsBoxy-14/+12
2023-03-16replace usage of `evaluate_goal` with a new `add_goal`Boxy-57/+130
2023-03-15always make `define_opaque_types` explicitlcnr-2/+2
2023-03-10Move some solver stuff to middleMichael Goulet-92/+5
2023-03-07Canonicalize the ROOT VARMichael Goulet-0/+1
2023-03-03canonicalizationlcnr-70/+27
2023-02-24Rename many interner functions.Nicholas Nethercote-3/+2
2023-02-22Move some InferCtxt methods to EvalCtxt in new solverMichael Goulet-23/+7
2023-02-17add predicate evaluation logicBoxy-3/+13
2023-02-17Add `Clause::ConstArgHasType` variantBoxy-0/+3
2023-02-15don't clone types that are copyMatthias Krüger-1/+1
2023-02-14Auto merge of #108056 - matthiaskrgr:rollup-oa6bxvh, r=matthiaskrgrbors-2/+8
2023-02-14Reduce visibility of some itemsSantiago Pastorino-1/+1
2023-02-14Check for overflow in evaluate_canonical_goalSantiago Pastorino-17/+6
2023-02-14add test for coinduction in new solverlcnr-2/+8
2023-02-13Implement repeat_while_none for both SearchGraph and EvalCtxtSantiago Pastorino-0/+1
2023-02-13Make Ok value of repeat_while_none more generalSantiago Pastorino-24/+27
2023-02-10implement `compute_alias_eq_goal`Boxy-3/+113
2023-02-10add `AliasEq` to `PredicateKind`Boxy-0/+4
2023-02-07Replacing bound vars is actually instantiating a binderMichael Goulet-1/+1
2023-02-03intern external constraintsMichael Goulet-19/+16
2023-01-31Rollup merge of #107348 - lcnr:project-solve-new, r=compiler-errorsGuillaume Gomez-5/+29
2023-01-29Auto merge of #106253 - nbdd0121:upcast, r=compiler-errorsbors-1/+1
2023-01-28Auto merge of #107303 - compiler-errors:intern-canonical-var-values, r=lcnrbors-26/+3
2023-01-28Rename `is_object_safe` to `check_is_object_safe` to hint side effectsGary Guo-1/+1
2023-01-28Rollup merge of #107344 - compiler-errors:new-solver-tweaks, r=lcnrMatthias Krüger-21/+23
2023-01-27Add some commentsMichael Goulet-0/+6
2023-01-27No need to probe when computing goalsMichael Goulet-21/+17
2023-01-27assert that solver results are stablelcnr-5/+29
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-24 03:07:41 +0000