[cbarrick]

Useful context on the Rust side is this issue [1]. It sounds like some of the author's concerns are addressed already.

[1]: https://github.com/rust-lang/unsafe-code-guidelines/issues/4...

[steveklabnik]

see also https://www.reddit.com/r/rust/comments/19871c5/passing_nothi...

[thayne]

This is basically the "define pointer arithmetic for invalid pointers". Which as pointed out in that section, doesn't solve completely the FFI problem.