{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"tmp.try_fold_with(self,"}]}
            tmp.try_fold_with(self, DebruijnIndex::INNERMOST)?,
            self.trait_env.clone(),
        );