{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"//"}]}
        // type at hand. Make a variable to represent it. The whole reason
        // N.B., as we have not yet type-checked the RHS, we don't have the
        // for this indirection is so that, below, we can check the expr