From 091c7a5b548b9f070efd32dacdba04562c3bc6c9 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 12 May 2022 22:56:41 +0200
Subject: [PATCH] Mutex might become covariant

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

diff --git a/Missing.md b/Missing.md
index 76971ab8..a719bbe7 100644
--- a/Missing.md
+++ b/Missing.md
@@ -1,5 +1,9 @@
 Missing APIs from the types we cover (APIs have been added after this formalization was done)
 
+# Mutex
+
+* Might become covariant: https://github.com/rust-lang/rust/pull/96820
+
 # Cell
 
 * Structural conversion for slices.  The matching operations in our model would be
-- 
GitLab