{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"};"}]}
        };
            span: self.lower_span(opaque_ty_span),
        let opaque_ty_def = self.arena.alloc(opaque_ty_def);