{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"cost:"}]}
        cost: &CostChecker<'_, 'tcx>,
        state: impl FnOnce() -> State<ConditionSet<'a>>,
        depth: usize,