{"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":"//"}]}
                // TODO(antoyo): this uses the same algorithm from saturating add, but add the
                let arg_type = lhs.get_type().unqualified();
                // negative of the right operand. Find a proper subtraction algorithm.