diff --git a/macros/src/trans.rs b/macros/src/trans.rs index 77eada415337c8bcd2d827772bd4093130cb58ef..9bf1e2a9dc40b9272b67163ffc089b38bada67c6 100644 --- a/macros/src/trans.rs +++ b/macros/src/trans.rs @@ -440,8 +440,6 @@ fn resources(app: &App, ownerships: &Ownerships, root: &mut Vec<Tokens>) { #[allow(non_camel_case_types)] pub struct #name { _0: PhantomData<*const ()> } - unsafe impl Sync for #name {} - #[allow(unsafe_code)] impl #name { pub unsafe fn new() -> Self { diff --git a/tests/cfail/resource-not-send.rs b/tests/cfail/resource-not-send-sync.rs similarity index 87% rename from tests/cfail/resource-not-send.rs rename to tests/cfail/resource-not-send-sync.rs index c89c3d31ccb898b04573392723aef972250cd917..775c78ae079756d4d693e1ac983c908914d7368d 100644 --- a/tests/cfail/resource-not-send.rs +++ b/tests/cfail/resource-not-send-sync.rs @@ -41,8 +41,9 @@ fn is_send<T>(_: &T) where T: Send {} fn is_sync<T>(_: &T) where T: Sync {} fn exti0(_t: &mut Threshold, r: EXTI0::Resources) { - // OK + // ERROR resource proxies can't be shared between tasks is_sync(&r.SHARED); + //~^ error the trait bound `*const (): core::marker::Sync` is not satisfied // ERROR resource proxies are not `Send`able across tasks is_send(&r.SHARED);