`impl [Trait for] value {}` gives `impl` coherence/resolve errors, rather than indicating that the impl head is not a type

[huonw]

const X: u8 = 1;
static Y: u8 = 1;
fn foo() {}

impl X {}
impl Y {}
impl foo {}

fn main() {}

<anon>:5:6: 5:7 error: inherent implementations are not allowed for types not defined in the current module.
<anon>:5 impl X {}
              ^
<anon>:6:6: 6:7 error: inherent implementations are not allowed for types not defined in the current module.
<anon>:6 impl Y {}
              ^
<anon>:7:6: 7:9 error: inherent implementations are not allowed for types not defined in the current module.
<anon>:7 impl foo {}
              ^~~

const X: uint = 1;
impl Eq for X {}

fn main() {}

<anon>:9:13: 9:14 error: use of undeclared type name `X`
<anon>:9 impl Eq for X {}
                     ^

These would all preferably indicate that the impl "type" is not actually a type.

[frewsxcv]

I think this is fixed

/tmp $ rustc hi.rs
hi.rs:5:6: 5:7 error: use of undeclared type name `X`
hi.rs:5 impl X {}
             ^
hi.rs:6:6: 6:7 error: use of undeclared type name `Y`
hi.rs:6 impl Y {}
             ^
hi.rs:7:6: 7:9 error: use of undeclared type name `foo`
hi.rs:7 impl foo {}
             ^~~
error: aborting due to 3 previous errors

/tmp $ rustc -vV
rustc 1.0.0-nightly (3e4be02b8 2015-03-13) (built 2015-03-13)
binary: rustc
commit-hash: 3e4be02b80a3dd27bce20870958fe0aef7e7336d
commit-date: 2015-03-13
build-date: 2015-03-13
host: x86_64-apple-darwin
release: 1.0.0-nightly