Closed
Description
fn needs_foo(_: impl Send) {}
pub fn main() {
needs_foo(1337);
}
error[E0277]: `{integer}` cannot be sent between threads safely
--> <source>:4:15
|
4 | needs_foo(1337);
| --------- ^^^^ `{integer}` cannot be sent between threads safely
| |
| required by a bound introduced by this call
|
= help: the trait `Send` is not implemented for `{integer}`
note: required by a bound in `needs_foo`
--> <source>:1:22
|
1 | fn needs_foo(_: impl Send) {}
| ^^^^ required by this bound in `needs_foo`
error: aborting due to previous error
Weird, because we definitely assemble auto trait bounds for {integer}
. I wonder if it has to do with this: