Function evaluate_root_goal_for_proof_tree_raw 

fn evaluate_root_goal_for_proof_tree_raw<'tcx>() -> (QueryResult<'tcx>, &'tcx Probe<TyCtxt<'tcx>>)