{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"//"}]}
        // it won't have a hidden type, so proving predicates about it is
        // That's because although we may have an opaque type on the function,
        // not really meaningful.