Skip to content
Snippets Groups Projects
Commit c6ca43de authored by Jacques-Henri Jourdan's avatar Jacques-Henri Jourdan
Browse files

Update Missing.md.

parent 70db5cbf
No related branches found
No related tags found
No related merge requests found
Pipeline #11869 passed
Stage: build
Hide whitespace changes
Inline Side-by-side
Showing
with 0 additions and 4 deletions
Missing.md
+ 0
− 4
View file @ c6ca43de
...@@ -5,7 +5,3 @@ Missing APIs from the types we cover (APIs have been added after this formalizat ...@@ -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 * Structural conversion for slices. The matching operations in our model would be
`&mut Cell<(A, B)>` -> `(&mut Cell<A>, &mut Cell<B>)` and `&mut Cell<(A, B)>` -> `(&mut Cell<A>, &mut Cell<B>)` and
`&Cell<(A, B)>` -> `(&Cell<A>, &Cell<B>)`. `&Cell<(A, B)>` -> `(&Cell<A>, &Cell<B>)`.
# RefCell
* RefMut::split: https://github.com/rust-lang/rust/pull/51466
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment