{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"ObligationForest"}]}
            ObligationForest {
        pub fn new() -> ObligationForest<O> {
                nodes: vec![],