{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"//"}]}
                // Reads from uninitialized variables (e.g., in dead code, after
                LocalKind::SSA(def) if def.dominates(location, self.dominators) => {}
                // optimizations) require locals to be in (uninitialized) memory.