summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/eval_ctxt
AgeCommit message (Expand)AuthorLines
2024-03-11Eliminate `DefiningAnchor::Error`, it is indistinguishable from `DefiningAnch...Oli Scherer-5/+2
2024-03-05Convert `TypeVisitor` and `DefIdVisitor` to use `VisitorResult`Jason Newcomb-3/+3
2024-03-01Rollup merge of #121497 - lcnr:coherence-suggest-increasing-recursion-limit, ...Matthias Krüger-17/+16
2024-03-01Get rid of some sub_exp and eq_expMichael Goulet-1/+0
2024-02-29distinguish recursion limit based overflow for diagnosticslcnr-17/+16
2024-02-27safe transmute: revise safety analysisJack Wrenn-2/+0
2024-02-26consider placeholders in `fn term_is_fully_unconstrained`lcnr-37/+49
2024-02-26always emit `AliasRelate` goals when relating aliaseslcnr-142/+136
2024-02-16Move trait into attr so it's greppableMichael Goulet-4/+4
2024-02-16Use extension trait deriveMichael Goulet-20/+4
2024-02-12Dejargnonize substShoyu Vanilla-11/+14
2024-02-08reviews + rebaseBoxy-2/+0
2024-02-08introduce `enter_forall`Boxy-97/+105
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 09:26:59 +0000