mirror/rtic
1
0
Fork 0
mirror of https://github.com/rtic-rs/rtic.git synced 2025-12-16 12:55:23 +01:00
Code Issues Projects Releases Packages Wiki Activity

make resource proxies not Sync

Browse source
This commit is contained in:
Jorge Aparicio 2017-12-09 16:13:22 +01:00
parent 40ebb93cc6
commit 62c5c1ae43
2 changed files with 2 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

3
tests/cfail/resource-not-send.rs → tests/cfail/resource-not-send-sync.rs
View file

@ -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);