Fix fallout from allowing impls outside of the type's definition module.

Author: eddyb

src/librustc_typeck/coherence/orphan.rs

@@ -15,7 +15,6 @@ use middle::traits;
 use middle::ty;
 use syntax::ast::{Item, ItemImpl};
 use syntax::ast;
-use syntax::ast_map;
 use syntax::ast_util;
 use syntax::visit;
 use util::ppaux::{Repr, UserString};

src/test/compile-fail/issue-12729.rs renamed to src/test/run-pass/issue-12729.rs

@@ -8,14 +8,12 @@
 // option. This file may not be copied, modified, or distributed
 // except according to those terms.
 
-// ignore-tidy-linelength
-
 pub struct Foo;
 
 mod bar {
     use Foo;
 
-    impl Foo { //~ERROR inherent implementations are only allowed on types defined in the current module
+    impl Foo {
         fn baz(&self) {}
     }
 }

src/test/compile-fail/issue-7607-2.rs renamed to src/test/run-pass/issue-7607-2.rs

@@ -8,15 +8,13 @@
 // option. This file may not be copied, modified, or distributed
 // except according to those terms.
 
-// ignore-tidy-linelength
-
 pub mod a {
     pub struct Foo { a: usize }
 }
 
 pub mod b {
     use a::Foo;
-    impl Foo { //~ERROR inherent implementations are only allowed on types defined in the current module
+    impl Foo {
         fn bar(&self) { }
     }
 }

src/test/run-pass/trait-impl-2.rs

@@ -8,8 +8,8 @@
 // option. This file may not be copied, modified, or distributed
 // except according to those terms.
 
-mod Foo {
-    trait Trait {
+pub mod Foo {
+    pub trait Trait {
         fn foo(&self);
     }
 }