{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"diag.code(E0463);"}]}
        diag.code(E0463);
        diag.arg("locator_triple", self.locator_triple.tuple());
        diag.span(self.span);