{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"//"}]}
            // Otherwise, inherit the immediate dominator's enclosing loop.
            // If the immediate dominator is a loop header, that's our enclosing loop.
            // (Dominator order ensures that we already processed the dominator.)