mirror of
https://github.com/rtic-rs/rtic.git
synced 2024-11-23 20:22:51 +01:00
Auto merge of #57 - japaric:not-sync, r=japaric
make resource proxies not Sync None
This commit is contained in:
commit
0f5784c240
2 changed files with 2 additions and 3 deletions
|
@ -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 {
|
||||
|
|
|
@ -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);
|
Loading…
Reference in a new issue