Function evaluate_root_goal_for_proof_tree_raw 

pub(crate) fn evaluate_root_goal_for_proof_tree_raw<'tcx>() -> DepKindStruct<'tcx>