{"ast_node_type":"other","tokens":[{"end":6,"kind":"keyword","start":0,"text":"//"}]}
    //
    // Returns true iff we can use `place` as a pointee.
    // Note that we only need to verify that there is a single `StorageLive` statement, and we do