Revert "Remove unnecessary trait accessibility check."

This reverts commit f4f95eb3a9f2c3c38679db84aabbb7cdb46d2641.
This commit is contained in:
Alex Crichton 2015-10-26 09:16:05 -07:00
parent 0cfdb33720
commit cb0ce69026
2 changed files with 6 additions and 29 deletions

View File

@ -852,8 +852,12 @@ impl<'a, 'tcx> PrivacyVisitor<'a, 'tcx> {
ty::ImplContainer(_) => {
self.check_static_method(span, method_def_id, name)
}
// Trait methods are always accessible if the trait is in scope.
ty::TraitContainer(_) => {}
// Trait methods are always all public. The only controlling factor
// is whether the trait itself is accessible or not.
ty::TraitContainer(trait_def_id) => {
self.report_error(self.ensure_public(span, trait_def_id,
None, "source trait"));
}
}
}
}

View File

@ -1,27 +0,0 @@
// Copyright 2015 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.
use outer::Foo;
mod outer {
pub use self::inner::Foo;
mod inner {
pub trait Foo {
fn bar(&self) {}
}
impl Foo for i32 {}
}
}
fn main() {
let x: i32 = 0;
x.bar();
}