{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":".and_then(|InferOk"}]}
            .and_then(|InferOk { goals, .. }| success(f(t1.clone()), t1.clone(), goals))
        self.try_unify(t1, t2)
    }