Associated constant using associated type generates E0277

[Popog]

Either a bug or a bad error message.

#![feature(associated_consts)]

trait Foo {
    type Associated;
    const ID: Self::Associated;
}

impl Foo for i32 {
    type Associated = f32;
    const ID: f32 = 1f32;
}

fn main() {
    assert_eq!(1f32, i32::ID);
}

Results in

<anon>:5:5: 5:32 error: the trait `Foo` is not implemented for the type `Self` [E0277]
<anon>:5     const ID: Self::Associated;

[Popog]

Not sure if it's easier or harder to debug, but it also occurs when separated into 2 traits:

#![feature(associated_consts)]

trait Foo {
    type Associated;
}

trait FooConst: Foo {
    const ID: <Self as Foo>::Associated;
}

impl Foo for i32 {
    type Associated = f32;
}

impl FooConst for i32 {
    const ID: f32 = 1f32;
}

fn main() {
    assert_eq!(1f32, i32::ID);
}

[Popog]

No longer repros as of rustc 1.14.0-nightly (6e8f92f 2016-10-07).