From 81275bfa4f41e2066770087f3a33cad4227eab41 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Thu, 13 Jun 2019 23:56:59 +0200
Subject: rtfm-syntax refactor + heterogeneous multi-core support

---
 tests/cfail/late-not-send.rs | 32 --------------------------------
 1 file changed, 32 deletions(-)
 delete mode 100644 tests/cfail/late-not-send.rs

(limited to 'tests/cfail/late-not-send.rs')

diff --git a/tests/cfail/late-not-send.rs b/tests/cfail/late-not-send.rs
deleted file mode 100644
index 04a4af1..0000000
--- 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) {}
-};
-- 
cgit v1.2.3