{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"};"}]}
        };
            format!("{pat_kind} not allowed under `{dbm_str}` default binding mode")
        info.primary_labels.push((trimmed_span, primary_label));