{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"for"}]}
        for &(key, ty) in &input.predefined_opaques_in_body.opaque_types {
            let prev = delegate.register_hidden_type_in_storage(key, ty, I::Span::dummy());