ia0:
All crates can cause undefined behavior, even if they use
#![forbid(unsafe_code)].Let's consider a crate author that doesn't want to deal with undefined behavior. They write a crate
foowhich uses only safe code and forbids unsafe code. Another crate author writes a cratebarwhich depends onfoo. They write unsafe code which relies on the safety guarantees offoo(which is…