Can I declare a struct as "send"?

help
1

I'd like to require that a structure have the "Send" trait, so that, if something down within it isn't Send (probably an Rc), that causes a compile error when the structure is compiled, not when a user of the library tries to pass it through a spawn move.

pub struct foo: Send { ... }

would make sense, but isn't allowed. Is there syntax to do this, or is it not supported.

2

You could do something like this:

#[allow_unused]
fn _assert_foo_send(x:&foo) -> impl Send { x }
1 Like
3

The static_assertions crate offers an assert_impl! macro for exactly this.

2 Likes
4

Or...

struct AssertSend<T: Send>(T);
impl AssertSend<Foo> {}
2 Likes
5

In Tokio, we test these things like this: tests/async_send_sync.rs