{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"obligations.extend(ok.into_obligations());"}]}
                    obligations.extend(ok.into_obligations());
                    let ok = self.at(cause, param_env).eq(DefineOpaqueTypes::Yes, v1, v2)?;
                }