{"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"//"}]}
            // explains why it can be expensive on big functions. But this data is only used in
            // This dataflow analysis computes maybe-initializedness of all move paths, which
            // drop-liveness. Therefore, most of the move paths computed here are ultimately unused,