Function Red 

pub(crate) fn Red<'tcx>() -> DepKindVTable<'tcx>