From fd7fefe47dab329999c407d13c73f9ef57b59674 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 11 Jun 2018 09:35:15 +0200
Subject: [PATCH] note down new APIs that have been added after we formalized
 this

---
 Missing.md | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 Missing.md

diff --git a/Missing.md b/Missing.md
new file mode 100644
index 00000000..2d708275
--- /dev/null
+++ b/Missing.md
@@ -0,0 +1,11 @@
+Missing APIs from the types we cover (APIs have been added after this formalization was done)
+
+# 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>)`.
+
+# RefCell
+
+* RefMut::split: https://github.com/rust-lang/rust/pull/51466
-- 
GitLab