tests/ui/type-alias-impl-trait/implied_bounds3.rs

   1 // check-pass
   2
   3 fn foo<F>(_: F)
   4 where
   5     F: 'static,
   6 {
   7 }
   8
   9 fn from<F: Send>(f: F) -> impl Send {
  10     f
  11 }
  12
  13 fn bar<T>() {
  14     foo(from(|| ()))
  15 }
  16
  17 fn main() {
  18 }