Skip to content

Implement IntoBytes for Option types? #596

@joshlf

Description

@joshlf

Similar to #293, we should ensure that it's guaranteed that Option<P> satisfies IntoBytes (where P is a pointer type which is subject to NPO), and emit an IntoBytes impl.

This is blocked on rust-lang/rust#117591, which guarantees that observing the bytes of a None::<P> is sound. It is also blocked on guaranteeing that observing the bytes of a Some::<P> is sound, which is effectively ptr2int.

Metadata

Metadata

Assignees

No one assigned

    Labels

    blocked-on-rustBlocked on a Rust feature landing or stabilizing

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions