{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"//"}]}
        // We require types to be resolved here so that we emit inference failure
        // This check is needed if both sides are inference variables.
        // rather than "_ is not a char or numeric".