fn collect_non_exhaustive_tys<'p, 'tcx>(
    pat: &DeconstructedPat<'p, 'tcx>,
    non_exhaustive_tys: &mut FxHashSet<Ty<'tcx>>
)