pub(crate) fn check_match(tcx: TyCtxt<'_>, def_id: DefId)