fn collect_non_exhaustive_tys<'tcx>(
    cx: &MatchCheckCtxt<'_, 'tcx>,
    pat: &WitnessPat<'tcx>,
    non_exhaustive_tys: &mut FxIndexSet<Ty<'tcx>>
)