Can currently leak private types and values #309
Description
Reexporting a type or value from one module to another should check the visibility of the original item.
This can happen in a few cases:
//- foo.mun
// Illegal, Bar has a smaller scope that this use statement
pub(super) struct Bar;
// Illegal, Bar has a smaller scope than this function
pub fn baz() -> Bar {
}//- mod.mun
pub use foo::Bar; // Should be illegal because Bar is only visible to this moduleIn rust this emits the error: can't leak private type. This is currently not checked in Mun.