about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/inspect
AgeCommit message (Expand)AuthorLines
2024-05-06Record impl args in the InsepctCandiate rather than rematching during selectMichael Goulet-6/+66
2024-05-03Rollup merge of #124418 - compiler-errors:better-cause, r=lcnrMichael Goulet-16/+37
2024-05-02Use ObligationCtxt in favor of TraitEngine in many placesMichael Goulet-10/+8
2024-05-02Higher ranked goal source, do overflow handling less badlyMichael Goulet-4/+10
2024-05-02Store goal source in InspectGoalMichael Goulet-12/+27
2024-05-01reviewlcnr-13/+15
2024-04-30fix `NormalizesTo` proof tree issuelcnr-50/+118
2024-04-30Rollup merge of #124511 - nnethercote:rm-extern-crates, r=fee1-deadMatthias Krüger-0/+1
2024-04-29Split out instantiate_nested_goalsMichael Goulet-36/+43
2024-04-29Take proof trees by value in inspect goalMichael Goulet-15/+12
2024-04-29Only register candidate if it is associated w a shallow certaintyMichael Goulet-34/+21
2024-04-29Actually use probes when needed and stop relying on existing outer probesMichael Goulet-3/+3
2024-04-29Remove `extern crate rustc_macros` from numerous crates.Nicholas Nethercote-0/+1
2024-04-27Record certainty of evaluate_added_goals_and_make_canonical_response call in ...Michael Goulet-0/+38
2024-04-25use `EagerResolver`lcnr-1/+3
2024-04-25hir typeck: look into nested goalslcnr-156/+286
2024-04-04normalizes-to change from '1' to '0 to inf' stepslcnr-33/+4
2024-03-18cleanup + reviewlcnr-8/+4
2024-03-18`NormalizesTo` return nested goalslcnr-1/+13
2024-03-18move `normalizes_to_hack` to `AliasRelate`lcnr-0/+11
2024-03-05Convert `ProofTreeVisitor` to use `VisitorResult`Jason Newcomb-24/+23
2024-02-26always emit `AliasRelate` goals when relating aliaseslcnr-25/+2
2024-02-17Rollup merge of #121193 - compiler-errors:coherence-fulfillment, r=lcnrMatthias Krüger-3/+5
2024-02-16Use fulfillment in next trait solver coherenceMichael Goulet-3/+5
2024-02-16Move trait into attr so it's greppableMichael Goulet-2/+2
2024-02-16Use extension trait deriveMichael Goulet-9/+2
2024-01-09readd the provisional cachelcnr-1/+7
2023-12-18track the source of nested goalslcnr-6/+12
2023-12-14rename `-Ztrait-solver` to `-Znext-solver`lcnr-1/+1
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-1/+1
2023-11-17Auto merge of #117278 - lcnr:try-normalize-ty, r=compiler-errorsbors-2/+32
2023-11-13Fix overflow and cycle bound for ProofTreeVisitor.Gavin Gray-1/+1
2023-11-09`try_normalize_ty` end with rigid alias on failurelcnr-2/+32
2023-11-02use global cache when computing proof treeslcnr-67/+66
2023-09-21wlcnr-1/+1
2023-09-21slight refactor, add commentlcnr-11/+20
2023-09-21proof trees: use for `intercrate_ambiguity_causes`lcnr-0/+755
2023-07-03add flag for disabling global cache and printing proof trees on errorBoxy-5/+0
2023-06-19create module so that RUSTC_LOG can filter to just proof treesBoxy-0/+5
2023-06-19introduce a separate set of types for finalized proof treesBoxy-229/+0
2023-06-19dont use a traitBoxy-113/+96
2023-06-19say what kind of cache hitBoxy-5/+7
2023-06-19initial info dumpBoxy-0/+244
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 13:42:27 +0000