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