{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":".cx()"}]}
                    .cx()
                predefined_opaques_in_body: self
                    .mk_predefined_opaques_in_body(PredefinedOpaquesData { opaque_types }),