summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/eval_ctxt
AgeCommit message (Expand)AuthorLines
2023-12-19add commentlcnr-0/+14
2023-12-18dont discard overflow from normalizes-to goalslcnr-22/+35
2023-12-18track the source of nested goalslcnr-13/+21
2023-12-14consistently use "next solver" instead of "new solver"lcnr-1/+1
2023-12-14update use of feature flagslcnr-1/+1
2023-12-14rename `-Ztrait-solver` to `-Znext-solver`lcnr-3/+4
2023-12-08Uplift canonicalizer into new trait solver crateMichael Goulet-1/+1
2023-12-08implement and use `NormalizesTo`lcnr-11/+9
2023-12-07add unused `NormalizesTo` predicatelcnr-0/+1
2023-11-29new solver: improve instrument annotationslcnr-1/+1
2023-11-25Rollup merge of #118259 - spastorino:move-eager-resolver-to-infer, r=compiler...León Orell Valerian Liehr-80/+5
2023-11-24Move EagerResolution to rustc_infer::infer::resolveSantiago Pastorino-80/+5
2023-11-24Rollup merge of #118243 - lcnr:commit-if-ok, r=compiler-errorsMichael Goulet-4/+9
2023-11-24EvalCtxt::commit_if_ok don't inherit nested goalslcnr-4/+9
2023-11-21Remove ClosureKind predicate kindMichael Goulet-2/+0
2023-11-20handle reservation impls, track impl sourcelcnr-14/+34
2023-11-17Auto merge of #117278 - lcnr:try-normalize-ty, r=compiler-errorsbors-65/+74
2023-11-13continue renaminglcnr-2/+2
2023-11-13rename `ReLateBound` to `ReBound`lcnr-1/+1
2023-11-09remove stability assert in `evaluate_goal`lcnr-65/+8
2023-11-09rework alias-relate to `norm(lhs) == norm(rhs)`lcnr-0/+20
2023-11-09`try_normalize_ty` end with rigid alias on failurelcnr-0/+46
2023-11-02use global cache when computing proof treeslcnr-15/+1
2023-10-10reorder files in solvelcnr-0/+1001
2023-09-21proof trees: use for `intercrate_ambiguity_causes`lcnr-16/+81
2023-09-18Rollup merge of #115838 - lcnr:added-goals, r=compiler-errorsMatthias Krüger-2/+2
2023-09-15Canonicalize effect vars in new solverMichael Goulet-0/+11
2023-09-14`GoalCandidate` to `Probe`lcnr-2/+2
2023-09-11inspect: strongly typed CandidateKindlcnr-11/+31
2023-08-18instantiate response: no unnecessary new universelcnr-1/+1
2023-08-14Remove constness from `ImplSource::Param`Deadbeef-1/+1
2023-08-04Rollup merge of #114287 - lcnr:overflow, r=compiler-errorsMichael Goulet-27/+9
2023-08-03Remove trivial region constraintsMichael Goulet-1/+6
2023-08-03resolve before canonicalization, ICE if unresolvedMichael Goulet-8/+79
2023-08-03separate calculation and interning of external query constraintsMichael Goulet-27/+28
2023-08-03handle overflow in the `EvalCtxt` separatelylcnr-2/+1
2023-08-03fix `make_ambiguous_response_no_constraints`lcnr-24/+7
2023-08-03avoid more `ty::Binder:dummy`lcnr-1/+1
2023-08-01Don't select infer -> dyn TraitMichael Goulet-0/+3
2023-07-31Rollup merge of #114200 - compiler-errors:detect-tail-unsize-then-upcast, r=lcnrMatthias Krüger-5/+20
2023-07-29Detect trait upcasting through struct tail unsizingMichael Goulet-5/+20
2023-07-28fix commentlcnr-1/+1
2023-07-25Make everything builtin!Michael Goulet-144/+27
2023-07-25Consolidate trait upcasting and unsize into one normalizationMichael Goulet-2/+11
2023-07-25Restore tuple unsizing feature gateMichael Goulet-0/+3
2023-07-25Make sure to detect trait upcasting coercion even after normalizationMichael Goulet-1/+7
2023-07-25Normalize the RHS of an unsize goalMichael Goulet-3/+7
2023-07-23Comment stuff in the new solverMichael Goulet-10/+17
2023-07-14Structurally normalize in selectionMichael Goulet-6/+33
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-29/+31
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-24 18:12:25 +0000