Skip to content
Snippets Groups Projects
Commit fd7fefe4 authored by Ralf Jung's avatar Ralf Jung
Browse files

note down new APIs that have been added after we formalized this

parent 62f56e9f
No related branches found
No related tags found
No related merge requests found
Pipeline #
Missing APIs from the types we cover (APIs have been added after this formalization was done)
# Cell
* 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
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment