{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"*ty"}]}
        *ty = tmp.try_fold_with(self, DebruijnIndex::INNERMOST)?;
        let tmp = mem::replace(ty, Substitution::empty(Interner));
        Ok(())