tests/ui/nll/issue-57280-1.rs

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