{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"//"}]}
        // make sure we wf-check the hidden type to fix #114728.
        // Require that the hidden type is well-formed. We have to
        //