Skip to content

Commit 64a13a4

Browse files
committed
Auto merge of #31908 - jseyfried:disallow_shadowed_traits, r=nikomatsakis
Disallow methods from traits that are not in scope This PR only allows a trait method to be used if the trait is in scope (fixes #31379). This is a [breaking-change]. For example, the following would break: ```rust mod foo { pub trait T { fn f(&self) {} } impl T for () {} } mod bar { pub use foo::T; } fn main() { pub use bar::*; struct T; // This shadows the trait `T`, ().f() // making this an error. } ``` r? @nikomatsakis
2 parents f1578d3 + ed8a2e2 commit 64a13a4

File tree

2 files changed

+27
-3
lines changed

2 files changed

+27
-3
lines changed

src/librustc_resolve/resolve_imports.rs

+3-3
Original file line numberDiff line numberDiff line change
@@ -686,9 +686,9 @@ impl<'a, 'b:'a, 'tcx:'b> ImportResolver<'a, 'b, 'tcx> {
686686
}
687687
}
688688

689-
// FIXME #31379: We can use methods from imported traits shadowed by non-import items
690-
if !binding.is_import() {
691-
for glob_binding in resolution.duplicate_globs.iter() {
689+
// We can always use methods from the prelude traits
690+
for glob_binding in resolution.duplicate_globs.iter() {
691+
if glob_binding.defined_with(DefModifiers::PRELUDE) {
692692
module.shadowed_traits.borrow_mut().push(glob_binding);
693693
}
694694
}
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
// Copyright 2016 The Rust Project Developers. See the COPYRIGHT
2+
// file at the top-level directory of this distribution and at
3+
// http://rust-lang.org/COPYRIGHT.
4+
//
5+
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6+
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7+
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8+
// option. This file may not be copied, modified, or distributed
9+
// except according to those terms.
10+
11+
// Test that methods from shadowed traits cannot be used
12+
13+
mod foo {
14+
pub trait T { fn f(&self) {} }
15+
impl T for () {}
16+
}
17+
18+
mod bar { pub use foo::T; }
19+
20+
fn main() {
21+
pub use bar::*;
22+
struct T;
23+
().f() //~ ERROR no method
24+
}

0 commit comments

Comments
 (0)