aboutsummaryrefslogtreecommitdiff
path: root/tests/cfail
diff options
context:
space:
mode:
authorJorge Aparicio <jorge@japaric.io>2017-12-09 16:13:22 +0100
committerJorge Aparicio <jorge@japaric.io>2017-12-09 16:13:22 +0100
commit62c5c1ae431790e36ffeb0eebba75dfabb5dbd76 (patch)
tree53fd6aaad6757a60762ec687207ea956cbfede36 /tests/cfail
parent40ebb93cc6ec8533d4532853c3fd01693af09d8e (diff)
make resource proxies not Sync
Diffstat (limited to 'tests/cfail')
-rw-r--r--tests/cfail/resource-not-send-sync.rs (renamed from tests/cfail/resource-not-send.rs)3
1 files changed, 2 insertions, 1 deletions
diff --git a/tests/cfail/resource-not-send.rs b/tests/cfail/resource-not-send-sync.rs
index c89c3d3..775c78a 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);