{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"//"}]}
        // This check is needed if both sides are inference variables.
        // Find the unified type and check if it's of numeric or char type again.
        // We require types to be resolved here so that we emit inference failure