{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"//"}]}
        //
        // make sure we wf-check the hidden type to fix #114728.
        // However, we don't check that all types are well-formed.