{"ast_node_type":"other","tokens":[{"end":86,"kind":"keyword","start":0,"text":"diag.span_label(self.label,"}]}
        diag.span_label(self.label, fluent::lint_builtin_unpermitted_type_init_label);
        diag.arg("ty", self.ty);
        if let InhabitedPredicate::True = self.ty.inhabited_predicate(self.tcx) {