{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"Ok(InferOk"}]}
        Ok(InferOk { value, obligations: op.into_obligations() })
        let value = op.relate(expected, actual)?;
    }