aboutsummaryrefslogtreecommitdiff
path: root/tests/cfail/late-not-send.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/cfail/late-not-send.rs')
-rw-r--r--tests/cfail/late-not-send.rs32
1 files changed, 0 insertions, 32 deletions
diff --git a/tests/cfail/late-not-send.rs b/tests/cfail/late-not-send.rs
deleted file mode 100644
index 04a4af15..00000000
--- a/tests/cfail/late-not-send.rs
+++ /dev/null
@@ -1,32 +0,0 @@
-//! `init` has a static priority of `0`. Initializing resources from it is equivalent to sending a
-//! message to the task that will own the resource
-
-#![no_main]
-#![no_std]
-
-extern crate lm3s6965;
-extern crate panic_halt;
-extern crate rtfm;
-
-use core::marker::PhantomData;
-
-use rtfm::app;
-
-struct NotSend {
- _0: PhantomData<*const ()>,
-}
-
-#[app(device = lm3s6965)] //~ ERROR `*const ()` cannot be sent between threads safely
-const APP: () = {
- static mut X: NotSend = ();
-
- #[init]
- fn init(_: init::Context) -> init::LateResources {
- init::LateResources {
- X: NotSend { _0: PhantomData },
- }
- }
-
- #[interrupt(resources = [X])]
- fn UART0(_: UART0::Context) {}
-};