src/test/ui/nll/issue-57280-1.rs

   1 #![feature(nll)]
   2
   3 // compile-pass
   4
   5 trait Foo<'a> {
   6     const C: &'a u32;
   7 }
   8
   9 impl<'a, T> Foo<'a> for T {
  10     const C: &'a u32 = &22;
  11 }
  12
  13 fn foo() {
  14     let a = 22;
  15     match &a {
  16         <() as Foo<'static>>::C => { }
  17         &_ => { }
  18     }
  19 }
  20
  21 fn main() {}