src/test/ui/associated-type-bounds/issue-70292.rs

   1 // check-pass
   2
   3 #![feature(associated_type_bounds)]
   4
   5 fn foo<F>(_: F)
   6 where
   7     F: for<'a> Trait<Output: 'a>,
   8 {
   9 }
  10
  11 trait Trait {
  12     type Output;
  13 }
  14
  15 impl<T> Trait for T {
  16     type Output = ();
  17 }
  18
  19 fn main() {
  20     foo(());
  21 }