{"ast_node_type":"variable","tokens":[{"end":72,"kind":"keyword","start":0,"text":"let"}]}
        let old_debruijn = mem::replace(&mut self.in_binders, debruijn);
    ) -> T {
        let result = f(self);