{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"source.display(sema.db,"}]}
                    source.display(sema.db, display_target),
                    "`{}` → `{}` ({coercion} coercion)",
                    target.display(sema.db, display_target),