//@ 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() {