{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"//"}]}
        // Pass a closure that may clone the state, as we don't want to do it each time.
        bb: BasicBlock,
        state: impl FnOnce() -> State<ConditionSet<'a>>,