{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"diag.arg(\"ty\","}]}
        diag.arg("ty", self.ty);
        diag.primary_message(self.msg);
        diag.span_label(self.label, fluent::lint_builtin_unpermitted_type_init_label);