2019-06-13 23:56:59 +02:00
|
|
|
//! [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;
|
|
|
|
|
2019-06-13 23:56:59 +02:00
|
|
|
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-06-13 23:56:59 +02:00
|
|
|
}
|
|
|
|
|
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 {
|
2019-06-13 23:56:59 +02:00
|
|
|
// 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) -> ! {
|
2020-09-14 09:35:10 +02:00
|
|
|
loop {
|
|
|
|
cortex_m::asm::nop();
|
|
|
|
}
|
2018-11-03 17:02:41 +01:00
|
|
|
}
|
|
|
|
};
|