Function check_validity_requirement

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