1 2 3 4 5 6 7 8 9 10 11 12 13
// run-pass trait Foo { const ID: i32; } impl Foo for i32 { const ID: i32 = 1; } fn main() { assert_eq!(1, <i32 as Foo>::ID); }