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