diff --git a/src/librustc_resolve/lib.rs b/src/librustc_resolve/lib.rs index 8939028f6d90d63338cdd6537d9cd19d3d1d6311..79aa4e535220ee1925c5848e55f153fc6456f0f1 100644 --- a/src/librustc_resolve/lib.rs +++ b/src/librustc_resolve/lib.rs @@ -2211,13 +2211,27 @@ fn resolve_item(&mut self, item: &Item) { ItemUse(ref view_path) => { // check for imports shadowing primitive types - if let hir::ViewPathSimple(ident, _) = view_path.node { - match self.def_map.borrow().get(&item.id).map(|d| d.full_def()) { + let check_rename = |id, ident: Ident| { + match self.def_map.borrow().get(&id).map(|d| d.full_def()) { Some(DefTy(..)) | Some(DefStruct(..)) | Some(DefTrait(..)) | None => { self.check_if_primitive_type_name(ident.name, item.span); } _ => {} } + }; + + match view_path.node { + hir::ViewPathSimple(ident, _) => { + check_rename(item.id, ident); + } + hir::ViewPathList(_, ref items) => { + for item in items { + if let Some(ident) = item.node.rename() { + check_rename(item.node.id(), ident); + } + } + } + _ => {} } } diff --git a/src/test/compile-fail/issue-20427.rs b/src/test/compile-fail/issue-20427.rs index 96d4fae8b036d0c05b3df7d23fc83fb1b366dce9..a4b25ab9e56b31142bf2cb274bfc1424c2ee2103 100644 --- a/src/test/compile-fail/issue-20427.rs +++ b/src/test/compile-fail/issue-20427.rs @@ -47,6 +47,8 @@ mod str { //~^ ERROR user-defined types or type parameters cannot shadow the primitive types use super::bool_ as bool; //~^ ERROR user-defined types or type parameters cannot shadow the primitive types + use super::{bool_ as str}; + //~^ ERROR user-defined types or type parameters cannot shadow the primitive types use super::char_ as char; } }