tree dd7980a9d307192fccf9a895b3eee6a32c3e535b
parent 4a584df75de604a8b85a5ace13e5986c9bb8b14f
parent 9e00ef62c1608741e309eb10d4d934df8d2aa476
author bors[bot] <26634292+bors[bot]@users.noreply.github.com> 1597874511 +0000
committer GitHub <noreply@github.com> 1597874511 +0000
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJfPaFPCRBK7hj4Ov3rIwAAdHIIAAExE0J1P1TsYSDGoS7rA2di
 nQtj/X5ajrFxn5Yz875DpkhSsZ8YknOqKBOY4wkkymFJ6eom4YLWDTIwA7m+o7tP
 Xnk3khsxwAW2/PM4wrTsOeqlIRD4GUAEObZ7xXwcMZ4FotKpZNjoeRI4pxdIKRyI
 j6imHFX/j/hhf8yeWK0SI6z3HWrpVHiy1LWZYXjBlb3Dh3UKOM3mr+QfNApoVg6Z
 6ufgwZKaBFM8tHRfeVONWXWSLLY/GD/P2l6GWkzLO2lEx9FNt3XT7kmYc0b5bqYM
 j/GaZ5TcygCSiGAwmXihEcFHiaeDGNb+AqzevOtj0T5fLzZ6UIHxw0c/8JvQgGk=
 =6DEc
 -----END PGP SIGNATURE-----
 

Merge #231

231: Remove `Allowed::replace` and `Allowed::take`. r=jrvanwhy a=jrvanwhy

When I originally implemented `Allowed`, I made it work with non-`Copy` types. `Allowed::get` cannot with with non-`Copy` types, so I added `Allowed::replace` to allow client code to read a non-`Copy` type out of an `Allowed` buffer. However, during the PR review we changed `Allowed` to only contain `Copy` types. Because of this change, I don't anticipate `Allowed::replace` (and `Allowed::take` which is built on top of `Allowed::replace`) seeing much use. This PR removes `Allowed::replace` and `Allowed::take` to reduce the amount of `unsafe` in `libtock_platform`.

Co-authored-by: Johnathan Van Why <jrvanwhy@google.com>