Christopher Wright wrote: > Additionally, the compiler has sufficient information to complain about > the problem at compile time, but it doesn't. That is a bug. No, it does not. The compiler doesn't know about private imports of separately compiled modules.