diff options
Diffstat (limited to '')
-rw-r--r-- | examples/t-late-not-send.rs | 42 |
1 files changed, 0 insertions, 42 deletions
diff --git a/examples/t-late-not-send.rs b/examples/t-late-not-send.rs deleted file mode 100644 index 579f8436..00000000 --- a/examples/t-late-not-send.rs +++ /dev/null @@ -1,42 +0,0 @@ -//! [compile-pass] late resources don't need to be `Send` if they are owned by `idle` - -#![no_main] -#![no_std] - -use core::marker::PhantomData; - -use panic_semihosting as _; - -pub struct NotSend { - _0: PhantomData<*const ()>, -} - -#[rtic::app(device = lm3s6965)] -mod app { - use super::NotSend; - use core::marker::PhantomData; - - #[resources] - struct Resources { - x: NotSend, - #[init(None)] - y: Option<NotSend>, - } - - #[init] - fn init(_: init::Context) -> (init::LateResources, init::Monotonics) { - ( - init::LateResources { - x: NotSend { _0: PhantomData }, - }, - init::Monotonics(), - ) - } - - #[idle(resources = [x, y])] - fn idle(_: idle::Context) -> ! { - loop { - cortex_m::asm::nop(); - } - } -} |