tests/ui/lint/unused/issue-104397.rs

   1 // check-pass
   2
   3 #![warn(unused)]
   4 #![deny(warnings)]
   5
   6 struct Inv<'a>(&'a mut &'a ());
   7
   8 trait Trait {}
   9 impl Trait for for<'a> fn(Inv<'a>) {}
  10
  11 fn with_bound()
  12 where
  13     (for<'a> fn(Inv<'a>)): Trait,
  14 {}
  15
  16 fn main() {
  17     with_bound();
  18 }