about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/traits/solve/inspect.rs
AgeCommit message (Expand)AuthorLines
2024-05-18Uplift inspect into rustc_type_irMichael Goulet-160/+0
2024-05-13Use a proper probe for shadowing implMichael Goulet-0/+2
2024-05-06Record impl args in the InsepctCandiate rather than rematching during selectMichael Goulet-0/+2
2024-04-30Rollup merge of #124511 - nnethercote:rm-extern-crates, r=fee1-deadMatthias Krüger-0/+1
2024-04-29Take proof trees by value in inspect goalMichael Goulet-3/+3
2024-04-29Only register candidate if it is associated w a shallow certaintyMichael Goulet-2/+2
2024-04-29Actually use probes when needed and stop relying on existing outer probesMichael Goulet-4/+2
2024-04-29Remove `extern crate rustc_macros` from `rustc_middle`.Nicholas Nethercote-0/+1
2024-04-27Record certainty of evaluate_added_goals_and_make_canonical_response call in ...Michael Goulet-0/+6
2024-04-25hir typeck: look into nested goalslcnr-0/+1
2024-04-05Fix typoWaffle Maybe-1/+1
2024-04-04normalizes-to change from '1' to '0 to inf' stepslcnr-5/+2
2024-03-18cleanup + reviewlcnr-3/+3
2024-02-26always emit `AliasRelate` goals when relating aliaseslcnr-2/+0
2024-01-09readd the provisional cachelcnr-0/+1
2023-12-18track the source of nested goalslcnr-3/+3
2023-11-09`try_normalize_ty` end with rigid alias on failurelcnr-0/+5
2023-11-02use global cache when computing proof treeslcnr-8/+2
2023-09-21proof trees: use for `intercrate_ambiguity_causes`lcnr-8/+58
2023-09-14differentiate root and nested goalslcnr-3/+9
2023-09-14inspect: explicitly store added goalslcnr-0/+1
2023-09-14order `added_goals_evaluation` and `nested_probes`lcnr-2/+7
2023-09-14`GoalCandidate` to `Probe`lcnr-5/+8
2023-09-11dedup `GoalEvaluationStep` and `GoalCandidate`lcnr-4/+11
2023-09-11inspect: strongly typed CandidateKindlcnr-14/+19
2023-09-11split GoalEvaluation and CanonicalGoalEvaluationlcnr-20/+8
2023-08-03Rework upcastingMichael Goulet-5/+8
2023-07-25Normalize the RHS of an unsize goalMichael Goulet-1/+5
2023-07-13refactor proof tree formattinglcnr-4/+4
2023-06-20cleanup importslcnr-2/+6
2023-06-19move to nested moduleBoxy-130/+3
2023-06-19show normalizes-to hack and response instantiation goalsBoxy-2/+22
2023-06-19introduce a separate set of types for finalized proof treesBoxy-28/+39
2023-06-19say what kind of cache hitBoxy-3/+10
2023-06-19initial info dumpBoxy-0/+168
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-24 18:51:57 +0000