pub fn check_match<'tcx>(_: TyCtxt<'tcx>, key: &check_match<'tcx>) -> bool