1 2 3 4 5 6 7 8 9 10 11 12
// run-pass fn main() { <()>::foo(); } trait Foo<const X: usize> { fn foo() -> usize { X } } impl Foo<3> for () {}