{"ast_node_type":"function","tokens":[{"end":45,"kind":"keyword","start":0,"text":"pub"}]}
        pub fn new() -> ObligationForest<O> {
        #[define_opaque(ObligationTreeIdGenerator)]
            ObligationForest {