{"ast_node_type":"import","tokens":[{"end":79,"kind":"keyword","start":0,"text":"//"}]}
            // We use equate here instead of, for example, just registering the
            debug!(?a, ?b, "constrain opaque type");
            // opaque type's hidden value directly, because the hidden type may have been an inference