trait declaration + bare impl on that trait give error messages mentioning "duplication modules"

[huonw]

trait Foo {} impl Foo {} fn main() {}

Gives

<anon>:1:14: 1:25 error: duplicate definition of module `Foo`
<anon>:1 trait Foo {} impl Foo {} fn main() {}
                      ^~~~~~~~~~~
<anon>:1:1: 1:13 note: first definition of module `Foo` here
<anon>:1 trait Foo {} impl Foo {} fn main() {}
         ^~~~~~~~~~~~
error: aborting due to previous error

There's no mention of mods in the code, so it would be nice if the error message didn't mention modules at all; and preferably if it just complained that the Foo in impl Foo {} wasn't a type. (Of course, the latter point may change with DST.)

[lilyball]

This exact same error is triggered if you have a module and a type impl of the same name:

struct Foo;

impl Foo {
    pub fn foo() -> uint { 1 }
}

mod Foo {
    pub fn foo() -> uint { 2 }
}

or a trait and a mod:

trait Foo { pub fn foo() -> uint { 1 } }

mod Foo {
    pub fn foo() -> uint { 2 }
}

[alexcrichton]

Due to many language changes in the meantime since this was opened, all examples here now give reasonable errors, and I'm fairly certain that tests exist for all of them, so I'm going to close this out of old age basically.