aboutsummaryrefslogtreecommitdiff
path: root/examples/t-late-not-send.rs
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--examples/t-late-not-send.rs42
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();
- }
- }
-}