From 7d77920a0f332da8fc3581370ab2424711ef8b2f Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 4 Jun 2019 19:45:07 +0200
Subject: [PATCH] fix plan for cell slicing

---
 Missing.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Missing.md b/Missing.md
index 06065e1b..bf6f6f1a 100644
--- a/Missing.md
+++ b/Missing.md
@@ -3,5 +3,5 @@ Missing APIs from the types we cover (APIs have been added after this formalizat
 # Cell
 
 * Structural conversion for slices.  The matching operations in our model would be
-  `&mut Cell<(A, B)>` -> `(&mut Cell<A>, &mut Cell<B>)` and
-  `&Cell<(A, B)>` -> `(&Cell<A>, &Cell<B>)`.
+  `&mut Cell<(A, B)>` -> `&mut (Cell<A>, Cell<B>)` and
+  `&Cell<(A, B)>` -> `&(Cell<A>, Cell<B>)` (both being NOPs).
-- 
GitLab