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