{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"{"}]}
            {
                if self.define_opaque_types == DefineOpaqueTypes::Yes && def_id.is_local() =>
                self.register_goals(infcx.handle_opaque_type(