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