summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/eval_ctxt
AgeCommit message (Expand)AuthorLines
2024-04-25hir typeck: look into nested goalslcnr-55/+110
2024-04-15Remove ConstVariableOriginKindMichael Goulet-5/+2
2024-04-15Remove TypeVariableOriginKindMichael Goulet-5/+2
2024-04-08Avoid fetching the opaque type origin when only "is this in the defining scop...Oli Scherer-3/+3
2024-04-08Pass list of defineable opaque types into canonical queriesOli Scherer-2/+0
2024-04-04Rollup merge of #123363 - lcnr:normalizes-to-zero-to-inf, r=BoxyUwUJacob Pratt-68/+60
2024-04-04normalizes-to change from '1' to '0 to inf' stepslcnr-68/+60
2024-04-04Use `DefineOpaqueTypes::Yes` where the new solver is unconditionally used alr...Oli Scherer-8/+16
2024-03-18Rollup merge of #122687 - lcnr:normalizes-to-emit-nested-goals, r=compiler-er...Matthias Krüger-80/+119
2024-03-18cleanup + reviewlcnr-11/+21
2024-03-18`NormalizesTo` return nested goalslcnr-57/+89
2024-03-18move `normalizes_to_hack` to `AliasRelate`lcnr-15/+12
2024-03-18Avoid various uses of `Option<Span>` in favor of using `DUMMY_SP` in the few ...Oli Scherer-1/+1
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-05 08:15:51 +0000