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