Updated reproduction of the issue described in Rust issue #4202

bar.rs

extern mod foo;
use foo::Foo;
use foo::Bar;

fn main() {
  assert!(42 == Bar::bar());
  assert!(42 == Foo::foo());
}

foo.rs

#[link(name = "foo", vers = "0.1")];
#[crate_type = "lib"];

pub use sub_foo::Foo;

pub trait Bar {
  pub fn bar() -> Self;
}

impl Bar for int {
  pub fn bar() -> int { 42 }
}

mod sub_foo {
  pub trait Foo {
    pub fn foo() -> Self;
  }

  impl Foo for int {
    pub fn foo() -> int { 42 }
  }
}