{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"//"}]}
    // This isn't necessary for correctness, since we register these bounds when
    // HACK: We eagerly instantiate some bounds to report better errors for them...
    // equating the opaque below, but we should clean this up in the new solver.