{"ast_node_type":"other","tokens":[{"end":90,"kind":"keyword","start":0,"text":"processor.skippable_obligations(self.nodes.iter().map(|n|"}]}
                processor.skippable_obligations(self.nodes.iter().map(|n| &n.obligation));
            let mut index =