From 995ac0a6e769ee907793d0673f18ae8bb8697f7b Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 17 Jul 2019 21:08:19 +0200
Subject: [PATCH] add another example

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

diff --git a/Missing.md b/Missing.md
index bf6f6f1a..b43c0db5 100644
--- a/Missing.md
+++ b/Missing.md
@@ -5,3 +5,7 @@ Missing APIs from the types we cover (APIs have been added after this formalizat
 * Structural conversion for slices.  The matching operations in our model would be
   `&mut Cell<(A, B)>` -> `&mut (Cell<A>, Cell<B>)` and
   `&Cell<(A, B)>` -> `&(Cell<A>, Cell<B>)` (both being NOPs).
+
+# ZST
+
+* Something like the example from <https://github.com/rust-lang/unsafe-code-guidelines/issues/168#issuecomment-512528361>
-- 
GitLab