about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/mod.rs
AgeCommit message (Expand)AuthorLines
2023-09-21proof trees: use for `intercrate_ambiguity_causes`lcnr-1/+1
2023-09-14differentiate root and nested goalslcnr-1/+8
2023-09-14inspect: explicitly store added goalslcnr-0/+1
2023-09-11dedup `GoalEvaluationStep` and `GoalCandidate`lcnr-3/+3
2023-08-12normalize in `trait_ref_is_knowable` in new solverlcnr-0/+31
2023-08-03fix `make_ambiguous_response_no_constraints`lcnr-9/+11
2023-07-24lcnr's suggestionsMichael Goulet-1/+1
2023-07-23Comment stuff in the new solverMichael Goulet-4/+9
2023-07-16Add support for inherent projectionsMichael Goulet-0/+1
2023-07-14Auto merge of #113471 - compiler-errors:new-solver-norm-escaping, r=lcnrbors-1/+1
2023-07-14Allow escaping bound vars during normalize_erasing_regions in new solverMichael Goulet-1/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-3/+3
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-5/+4
2023-07-04Rollup merge of #113324 - lcnr:const-evaluatable-goal, r=BoxyUwUMatthias Krüger-0/+37
2023-07-04reviewsBoxy-1/+1
2023-07-04implement `ConstEvaluatable` goals in new solverlcnr-0/+37
2023-07-03add flag for disabling global cache and printing proof trees on errorBoxy-1/+3
2023-07-03Implement selection in new trait solverMichael Goulet-1/+1
2023-07-03add deep normalization via the new solverlcnr-0/+2
2023-06-19initial info dumpBoxy-0/+1
2023-06-16Add `AliasKind::Weak` for type aliases.Oli Scherer-0/+1
2023-06-06Move alias-relate to its own moduleMichael Goulet-136/+1
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 16:34:50 +0000