{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"//"}]}
                // `StorageDead` in every control flow path leading to a `return` terminator.
                // Note: This is only sound if every local that has a `StorageDead` has a
                // If anything slips through, there's no safety net -- safe code can create