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