{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"//"}]}
    // as potentially overloaded. But then, during writeback, if
    // Hacky hack: During type-checking, we treat *all* operators
    // we observe that something like `a+b` is (known to be)