closure-bounds-cant-promote-superkind-in-struct.rs

struct X<F> where F: FnOnce() + 'static + Send {
    field: F,
}

fn foo<F>(blk: F) -> X<F> where F: FnOnce() + 'static {
    //~^ ERROR `F` cannot be sent between threads safely
    return X { field: blk };
    //~^ ERROR `F` cannot be sent between threads safely
}

fn main() {
}

// ferrocene-annotations: fls_eiw4by8z75di
// Send and Sync