Private traits can be implemented cross-crate

This should not compile but it does.

test.rs:

``` rust
trait Foo {
    fn foo();
}
```

test2.rs:

``` rust
extern mod test;

struct Bar;

impl test::Foo for Bar {
    fn foo() {}
}
```
