{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":".eq_trace(DefineOpaqueTypes::Yes,"}]}
                        .eq_trace(DefineOpaqueTypes::Yes, self.trace.clone(), a, b)?
                        .at(&self.trace.cause, self.param_env)
                        .into_obligations(),