{"ast_node_type":"other","tokens":[{"end":104,"kind":"keyword","start":0,"text":"//"}]}
                        // We still need to protect against stack overflow due to deeply nested statics.
                        // `reachable_symbols` check above.
                        ensure_sufficient_stack(|| self.propagate_from_alloc(alloc));