{"ast_node_type":"import","tokens":[{"end":78,"kind":"keyword","start":0,"text":"//"}]}
        // That's because although we may have an opaque type on the function,
        // If this is an RPITIT from a trait method with no body, then skip.
        // it won't have a hidden type, so proving predicates about it is