fn joined_uncovered_patterns<'p, 'tcx>( cx: &RustcPatCtxt<'p, 'tcx>, witnesses: &[WitnessPat<'p, 'tcx>], ) -> String