Skip to content

Commit

Permalink
Change self in an import list use foo::{self, ...} to only import…
Browse files Browse the repository at this point in the history
… a module or enum `foo`.
  • Loading branch information
jseyfried committed Jan 10, 2017
1 parent aee21e2 commit 235a7a7
Show file tree
Hide file tree
Showing 4 changed files with 45 additions and 12 deletions.
8 changes: 5 additions & 3 deletions src/librustc_resolve/build_reduced_graph.rs
Original file line number Diff line number Diff line change
Expand Up @@ -168,6 +168,7 @@ impl<'a> Resolver<'a> {
target: binding,
source: source,
result: self.per_ns(|_, _| Cell::new(Err(Undetermined))),
type_ns_only: false,
};
self.add_import_directive(
module_path, subclass, view_path.span, item.id, vis, expansion,
Expand Down Expand Up @@ -195,10 +196,10 @@ impl<'a> Resolver<'a> {

for source_item in source_items {
let node = source_item.node;
let (module_path, ident, rename) = {
let (module_path, ident, rename, type_ns_only) = {
if node.name.name != keywords::SelfValue.name() {
let rename = node.rename.unwrap_or(node.name);
(module_path.clone(), node.name, rename)
(module_path.clone(), node.name, rename, false)
} else {
let ident = *module_path.last().unwrap();
if ident.name == keywords::CrateRoot.name() {
Expand All @@ -212,13 +213,14 @@ impl<'a> Resolver<'a> {
}
let module_path = module_path.split_last().unwrap().1;
let rename = node.rename.unwrap_or(ident);
(module_path.to_vec(), ident, rename)
(module_path.to_vec(), ident, rename, true)
}
};
let subclass = SingleImport {
target: rename,
source: ident,
result: self.per_ns(|_, _| Cell::new(Err(Undetermined))),
type_ns_only: type_ns_only,
};
let id = source_item.node.id;
self.add_import_directive(
Expand Down
16 changes: 9 additions & 7 deletions src/librustc_resolve/resolve_imports.rs
Original file line number Diff line number Diff line change
Expand Up @@ -41,6 +41,7 @@ pub enum ImportDirectiveSubclass<'a> {
target: Ident,
source: Ident,
result: PerNS<Cell<Result<&'a NameBinding<'a>, Determinacy>>>,
type_ns_only: bool,
},
GlobImport {
is_prelude: bool,
Expand Down Expand Up @@ -503,8 +504,9 @@ impl<'a, 'b:'a> ImportResolver<'a, 'b> {
};

directive.imported_module.set(Some(module));
let (source, target, result) = match directive.subclass {
SingleImport { source, target, ref result } => (source, target, result),
let (source, target, result, type_ns_only) = match directive.subclass {
SingleImport { source, target, ref result, type_ns_only } =>
(source, target, result, type_ns_only),
GlobImport { .. } => {
self.resolve_glob_import(directive);
return true;
Expand All @@ -513,7 +515,7 @@ impl<'a, 'b:'a> ImportResolver<'a, 'b> {
};

let mut indeterminate = false;
self.per_ns(|this, ns| {
self.per_ns(|this, ns| if !type_ns_only || ns == TypeNS {
if let Err(Undetermined) = result[ns].get() {
result[ns].set(this.resolve_ident_in_module(module, source, ns, false, None));
} else {
Expand Down Expand Up @@ -573,8 +575,8 @@ impl<'a, 'b:'a> ImportResolver<'a, 'b> {
_ => return None,
};

let (ident, result) = match directive.subclass {
SingleImport { source, ref result, .. } => (source, result),
let (ident, result, type_ns_only) = match directive.subclass {
SingleImport { source, ref result, type_ns_only, .. } => (source, result, type_ns_only),
GlobImport { .. } if module.def_id() == directive.parent.def_id() => {
// Importing a module into itself is not allowed.
return Some("Cannot glob-import a module into itself.".to_string());
Expand All @@ -592,7 +594,7 @@ impl<'a, 'b:'a> ImportResolver<'a, 'b> {
};

let mut all_ns_err = true;
self.per_ns(|this, ns| {
self.per_ns(|this, ns| if !type_ns_only || ns == TypeNS {
if let Ok(binding) = result[ns].get() {
all_ns_err = false;
if this.record_use(ident, ns, binding, directive.span) {
Expand All @@ -604,7 +606,7 @@ impl<'a, 'b:'a> ImportResolver<'a, 'b> {

if all_ns_err {
let mut all_ns_failed = true;
self.per_ns(|this, ns| {
self.per_ns(|this, ns| if !type_ns_only || ns == TypeNS {
match this.resolve_ident_in_module(module, ident, ns, false, Some(span)) {
Ok(_) => all_ns_failed = false,
_ => {}
Expand Down
2 changes: 0 additions & 2 deletions src/test/compile-fail/issue-28075.rs
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,5 @@ extern crate lint_stability;

use lint_stability::{unstable, deprecated}; //~ ERROR use of unstable library feature 'test_feature'

use lint_stability::unstable::{self as u}; //~ ERROR use of unstable library feature 'test_feature'

fn main() {
}
31 changes: 31 additions & 0 deletions src/test/compile-fail/issue-38293.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,31 @@
// Copyright 2016 The Rust Project Developers. See the COPYRIGHT
// file at the top-level directory of this distribution and at
// http://rust-lang.org/COPYRIGHT.
//
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
// option. This file may not be copied, modified, or distributed
// except according to those terms.

// Test that `fn foo::bar::{self}` only imports `bar` in the type namespace.

mod foo {
pub fn f() { }
}
use foo::f::{self};
//~^ ERROR unresolved import
//~| NOTE no `f` in `foo`

mod bar {
pub fn baz() {}
pub mod baz {}
}
use bar::baz::{self};

fn main() {
baz();
//~^ ERROR unresolved name `baz`
//~| NOTE unresolved name
//~| HELP module `baz` cannot be used as an expression
}

0 comments on commit 235a7a7

Please sign in to comment.