evaluate_root_goal_for_proof_tree_raw
rustc_
middle
1.91.0-beta.1
(1bffa2300 2025-09-15)
In rustc_
middle::
dep_
graph::
dep_
kinds
rustc_middle
::
dep_graph
::
dep_kinds
Constant
evaluate_
root_
goal_
for_
proof_
tree_
raw
Copy item path
Source
pub const evaluate_root_goal_for_proof_tree_raw:
DepKind
;