{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"//"}]}
    // we observe that something like `a+b` is (known to be)
    // as potentially overloaded. But then, during writeback, if
    // operating on scalars, we clear the overload.