Function check_match 

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