rtic/examples/t-late-not-send.rs

37 lines
755 B
Rust
Raw Permalink Normal View History

//! [compile-pass] late resources don't need to be `Send` if they are owned by `idle`
2018-11-03 17:02:41 +01:00
#![no_main]
#![no_std]
use core::marker::PhantomData;
use panic_halt as _;
2018-11-03 17:02:41 +01:00
pub struct NotSend {
_0: PhantomData<*const ()>,
}
2020-06-11 19:18:29 +02:00
#[rtic::app(device = lm3s6965)]
2018-11-03 17:02:41 +01:00
const APP: () = {
2019-07-10 22:42:44 +02:00
struct Resources {
x: NotSend,
#[init(None)]
y: Option<NotSend>,
}
2019-07-10 22:42:44 +02:00
#[init(resources = [y])]
2019-04-21 20:13:15 +02:00
fn init(c: init::Context) -> init::LateResources {
// equivalent to late resource initialization
2019-07-10 22:42:44 +02:00
*c.resources.y = Some(NotSend { _0: PhantomData });
2018-11-03 17:02:41 +01:00
2019-02-12 15:08:46 +01:00
init::LateResources {
2019-07-10 22:42:44 +02:00
x: NotSend { _0: PhantomData },
2019-02-12 15:08:46 +01:00
}
2018-11-03 17:02:41 +01:00
}
2019-07-10 22:42:44 +02:00
#[idle(resources = [x, y])]
2019-04-21 20:13:15 +02:00
fn idle(_: idle::Context) -> ! {
2018-11-03 17:02:41 +01:00
loop {}
}
};