{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"//"}]}
        // Find the unified type and check if it's of numeric or char type again.
        // This check is needed if both sides are inference variables.