about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/traits/solve
AgeCommit message (Expand)AuthorLines
2024-07-12enable fuzzing of `SearchGraph`lcnr-121/+0
2024-06-18Make SearchGraph fully genericMichael Goulet-17/+11
2024-05-24remove proof tree formatter, make em shallowlcnr-3/+3
2024-05-20move global cache lookup into fnlcnr-16/+18
2024-05-18Uplift inspect into rustc_type_irMichael Goulet-332/+3
2024-05-13Use a proper probe for shadowing implMichael Goulet-0/+5
2024-05-06Record impl args in the InsepctCandiate rather than rematching during selectMichael Goulet-0/+5
2024-05-02Higher ranked goal source, do overflow handling less badlyMichael Goulet-0/+1
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-4/+4
2024-04-29Actually use probes when needed and stop relying on existing outer probesMichael Goulet-6/+4
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/+9
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-10/+5
2024-03-18cleanup + reviewlcnr-7/+4
2024-03-08inspect formatter: add braceslcnr-17/+30
2024-02-26always emit `AliasRelate` goals when relating aliaseslcnr-16/+1
2024-01-09readd the provisional cachelcnr-0/+4
2023-12-18track the source of nested goalslcnr-4/+10
2023-12-14update use of feature flagslcnr-1/+1
2023-11-09`try_normalize_ty` end with rigid alias on failurelcnr-0/+10
2023-11-02use global cache when computing proof treeslcnr-25/+41
2023-09-21proof trees: use for `intercrate_ambiguity_causes`lcnr-9/+59
2023-09-14differentiate root and nested goalslcnr-10/+19
2023-09-14inspect: explicitly store added goalslcnr-0/+2
2023-09-14order `added_goals_evaluation` and `nested_probes`lcnr-7/+12
2023-09-14`GoalCandidate` to `Probe`lcnr-11/+14
2023-09-11dedup `GoalEvaluationStep` and `GoalCandidate`lcnr-14/+19
2023-09-11inspect: strongly typed CandidateKindlcnr-18/+26
2023-09-11revision -> iteration for added_goals_evaluationlcnr-3/+3
2023-09-11split GoalEvaluation and CanonicalGoalEvaluationlcnr-50/+43
2023-08-04Rollup merge of #114287 - lcnr:overflow, r=compiler-errorsMichael Goulet-0/+100
2023-08-03Rework upcastingMichael Goulet-7/+13
2023-08-03rewrite stack dependent overflow handlinglcnr-0/+100
2023-07-30inline format!() args up to and including rustc_middleMatthias Krüger-2/+2
2023-07-25Normalize the RHS of an unsize goalMichael Goulet-1/+8
2023-07-23match on chars instead of &strs for .split() or .strip_prefix()Matthias Krüger-2/+2
2023-07-13typolcnr-1/+1
2023-07-13refactor proof tree formattinglcnr-57/+63
2023-06-20cleanup importslcnr-2/+6
2023-06-19move to nested moduleBoxy-130/+134
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-01-13 08:22:49 +0000