{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"//"}]}
        // need to ensure that the definition of `head` dominates all uses of `local`. When `local`
        // are not observable, so at most one the locals involved can be borrowed. Additionally, we
        // is borrowed, there might exist an indirect use of `local` that isn't dominated by the