about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/eval_ctxt
AgeCommit message (Expand)AuthorLines
2024-05-02Higher ranked goal source, do overflow handling less badlyMichael Goulet-1/+1
2024-05-02Use a proof tree visitor to refine the Obligation for error reportingMichael Goulet-1/+1
2024-05-02Record certainty before evaluating nesteds, so we make candidatesMichael Goulet-2/+2
2024-05-02shallow resolve in orphan checklcnr-0/+12
2024-05-01Rewrite select to use a ProofTreeVisitorMichael Goulet-328/+156
2024-04-30Rollup merge of #124511 - nnethercote:rm-extern-crates, r=fee1-deadMatthias Krüger-0/+2
2024-04-29Only register candidate if it is associated w a shallow certaintyMichael Goulet-4/+7
2024-04-29Actually use probes when needed and stop relying on existing outer probesMichael Goulet-30/+23
2024-04-29Remove `extern crate rustc_macros` from numerous crates.Nicholas Nethercote-0/+2
2024-04-27Record certainty of evaluate_added_goals_and_make_canonical_response call in ...Michael Goulet-0/+2
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-14 06:50:13 +0000