diff --git a/src/librustc_resolve/lib.rs b/src/librustc_resolve/lib.rs index 8939028f6d90d..79aa4e535220e 100644 --- a/src/librustc_resolve/lib.rs +++ b/src/librustc_resolve/lib.rs @@ -2211,13 +2211,27 @@ impl<'a, 'tcx> Resolver<'a, 'tcx> { 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 96d4fae8b036d..a4b25ab9e56b3 100644 --- a/src/test/compile-fail/issue-20427.rs +++ b/src/test/compile-fail/issue-20427.rs @@ -47,6 +47,8 @@ mod char { //~^ 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; } }