{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"//"}]}
    // Note that we only need to verify that there is a single `StorageLive` statement, and we do
    //
    // not need to verify that it dominates all uses of that local.