For instance, last time I checked them out (in MSVC) it was perfectly fine to expose an un-exported type via an exported function. Apparently this is by design.

In Rust, such a thing is an error.

https://play.rust-lang.org/?version=stable&mode=debug&editio...