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