summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/mod.rs
AgeCommit message (Expand)AuthorLines
2023-12-18track the source of nested goalslcnr-9/+13
2023-12-14update use of feature flagslcnr-3/+2
2023-12-12refactor writeback: emit normalization errors with new solverlcnr-3/+2
2023-12-08Uplift canonicalizer into new trait solver crateMichael Goulet-1/+0
2023-12-08implement and use `NormalizesTo`lcnr-5/+6
2023-12-05Add deeply_normalize_for_diagnostics, use it in coherenceMichael Goulet-1/+3
2023-11-29new solver: improve instrument annotationslcnr-0/+1
2023-11-26Clean dead codesr0cky-7/+0
2023-11-24EvalCtxt::commit_if_ok don't inherit nested goalslcnr-5/+0
2023-11-09update overflow handling for norm, add testlcnr-1/+1
2023-11-09rework alias-relate to `norm(lhs) == norm(rhs)`lcnr-4/+22
2023-11-09only instantiate opaques with rigid typeslcnr-17/+1
2023-11-09`try_normalize_ty` end with rigid alias on failurelcnr-14/+50
2023-11-02use global cache when computing proof treeslcnr-3/+1
2023-10-10reorder files in solvelcnr-3/+0
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-24 07:13:40 +0000