diff --git a/Missing.md b/Missing.md
index 2d7082756f249525f1a14b602f551d45cc163dce..06065e1b3d84106655881537092d961ae2004132 100644
--- a/Missing.md
+++ b/Missing.md
@@ -5,7 +5,3 @@ 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>, &mut Cell<B>)` and
   `&Cell<(A, B)>` -> `(&Cell<A>, &Cell<B>)`.
-
-# RefCell
-
-* RefMut::split: https://github.com/rust-lang/rust/pull/51466