I don't know whether it's better to allow it or deny it, but it should definitely do something reasonable, and not what happens today. On the pro side, shadowing usually works in Rust. Personally, I'd be fine with not allowing types with primitive names, but I'm sure others have opinions as well. If you are interested you might follow up on the issue tracker.