tests/ui/higher-rank-trait-bounds/issue-60283.rs

   1 // check-pass
   2
   3 pub trait Trait<'a> {
   4     type Item;
   5 }
   6
   7 impl<'a> Trait<'a> for () {
   8     type Item = ();
   9 }
  10
  11 pub fn foo<T, F>(_: T, _: F)
  12 where
  13     T: for<'a> Trait<'a>,
  14     F: for<'a> FnMut(<T as Trait<'a>>::Item),
  15 {
  16 }
  17
  18 fn main() {
  19     foo((), drop)
  20 }