1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
// check-pass trait Foo { const BLAH: &'static str; } struct Placeholder; impl Foo for Placeholder { const BLAH: &'static str = "hi"; } fn foo(x: &str) { match x { <Placeholder as Foo>::BLAH => { } _ => { } } } fn main() {}