{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"DefineOpaqueTypes::Yes,"}]}
                    DefineOpaqueTypes::Yes,
                let _ = self.at(&ObligationCause::dummy(), self.param_env).sup(
                    xform_self_ty,