Skip to content

Commit

Permalink
Add TryFromBytes trait
Browse files Browse the repository at this point in the history
`TryFromBytes` can be implemented for types which are not `FromZeroes`
or `FromBytes`; it supports performing a runtime check to determine
whether a given byte sequence contains a valid instance of `Self`.

This is the first step of #5. Future commits will add support for a
custom derive and for implementing `TryFromBytes` on unsized types.

TODO:
- More thorough tests for non-FromBytes types (bool, char, etc)
- Document TryFromBytes requirements regarding UnsafeCell
- Remove now-unnecessary safety comment on
  `impl_try_from_bytes_testable!` (both definition and usage sites)
- Remove the TODO comment on the definition of `unsafe_impl!`
- Remove the TODO to test the failure branch of `unsafe_impl!` using
  trybuild

Makes progress on #5
  • Loading branch information
joshlf committed Sep 12, 2023
1 parent 2c9e7f1 commit 2d0bef3
Show file tree
Hide file tree
Showing 3 changed files with 955 additions and 171 deletions.
Loading

0 comments on commit 2d0bef3

Please sign in to comment.