{"ast_node_type":"import","tokens":[{"end":102,"kind":"keyword","start":0,"text":"//"}]}
            // opaque type's hidden value directly, because the hidden type may have been an inference
            // We use equate here instead of, for example, just registering the
            // variable that got constrained to the opaque type itself. In that case we want to equate