{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"mismatch.expected.display(db,"}]}
                            mismatch.expected.display(db, display_target),
                            location_csv_pat(db, vfs, &sm(), pat_id),
                            mismatch.actual.display(db, display_target)