diff options
author | 2017-12-09 15:13:42 +0000 | |
---|---|---|
committer | 2017-12-09 15:13:42 +0000 | |
commit | 0f5784c2401d4b12004f34345e721598fa21219a (patch) | |
tree | 53fd6aaad6757a60762ec687207ea956cbfede36 /tests | |
parent | 40ebb93cc6ec8533d4532853c3fd01693af09d8e (diff) | |
parent | 62c5c1ae431790e36ffeb0eebba75dfabb5dbd76 (diff) | |
download | rtic-0f5784c2401d4b12004f34345e721598fa21219a.tar.gz rtic-0f5784c2401d4b12004f34345e721598fa21219a.tar.zst rtic-0f5784c2401d4b12004f34345e721598fa21219a.zip |
Auto merge of #57 - japaric:not-sync, r=japaric
make resource proxies not Sync
None
Diffstat (limited to 'tests')
-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 c89c3d31..775c78ae 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); |