diff --git a/Missing.md b/Missing.md
index 76971ab8accc7aa8713ce91a7692959fffecc03d..a719bbe75fc4a423c5aa049420ec8cabbcff6100 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