pub(crate) const fn evaluate_goal<'tcx>() -> QueryStruct<'tcx>