Function rustc_middle::dep_graph::dep_constructor::evaluate_goal

pub fn evaluate_goal<'tcx>(
    _tcx: TyCtxt<'_>, 
    arg: CanonicalChalkEnvironmentAndGoal<'tcx>
) -> DepNode