Associated consts cannot depend on type parameters or Self

[yongqli]

This fails to compile

trait Matrix {
    const EYE: f64;
}

fn get_EYE<M: Matrix>(t: M) {
    M::EYE
}

with error: Associated consts cannot depend on type parameters or Self. [E0329], but it should work.

[michaelwu]

rust-lang/rfcs#1062

[brson]

Error is different now:

rustc 1.16.0-nightly (47c8d9fdc 2017-01-08)
error[E0308]: mismatched types
 --> <anon>:8:5
  |
8 |     M::EYE
  |     ^^^^^^ expected (), found f64
  |
  = note: expected type `()`
  = note:    found type `f64`

error: aborting due to previous error

From this updated case:

#![feature(associated_consts)]

trait Matrix {
    const EYE: f64;
}

fn get_EYE<M: Matrix>(t: M) {
    M::EYE
}

fn main() { }

[brson]

Works as expected with a corrected test case.

[michaelwu]

For reference, fixed by #30446