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