Revisiting modules -- `[other_crate]::path` syntax

So you're saying it would make more sense to treat this exclusively as path prefix, and not allowing use [std]; at all, same as we don't allow e.g. use super;?

I think I agree with that. It's the one thing that is making me subtly uncomfortable about this syntax. I edited the original post to add this view.