Guarding Against Broken Encapsulation
blog.sunfishcode.online
blog.sunfishcode.online
AFAICT the idea is that stuff from different crates should be insulated from each other by the compiler, and only made to interact by explicit programmer's intent. If a crate is dedicated to provide interaction with specific OS calls, this becomes an interesting problem.