{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"}"}]}
            }
                b = self.context.new_cast(loc, b, a_type);
            self.context.new_binary_op(loc, operation, a_type, a, b)