{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"ObligationCauseCode::BinOp"}]}
            ObligationCauseCode::BinOp {
            span,
                lhs_hir_id: lhs_expr.hir_id,