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