{"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"//"}]}
                // Note: This is only sound if every local that has a `StorageDead` has a
                // value of the constant.
                // `StorageDead` in every control flow path leading to a `return` terminator.