{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"//"}]}
            // usage of the opaque type and we can ignore it. This check is mirrored in typeck's
            // the hidden type becomes the opaque type itself. In this case, this was an opaque
            // writeback.