pub fn refutable_pattern( pattern_span: Span, witness: &str, slice_info: Option<(usize, bool)>, ) -> LisetteDiagnostic