{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"//"}]}
    // the item bounds of RPITITs often involves nested RPITITs having to prove
    // of the RPITITs associated with the same body. This is because checking
    // bounds about themselves.