fn joined_uncovered_patterns(witnesses: &[&Ident]) -> String