`Send`-ness check is now in rtfm-core

2 files changed, 10 insertions, 3 deletions

diff --git a/tests/cfail/interrupt.rs b/tests/cfail/interrupt.rs
index c70528f..f7879f4 100644
--- a/tests/cfail/interrupt.rs
+++ b/tests/cfail/interrupt.rs
@@ -14,7 +14,9 @@ app! {
 
     tasks: {
         // ERROR this interrupt doesn't exist
-        EXTI33: {},
+        EXTI33: {
+            path: exti33,
+        },
     },
 }
 
@@ -23,3 +25,5 @@ fn init(_p: init::Peripherals) {}
 fn idle() -> ! {
     loop {}
 }
+
+fn exti33() {}
diff --git a/tests/cfail/token-transfer.rs b/tests/cfail/token-transfer.rs
index d10b82b..38e8786 100644
--- a/tests/cfail/token-transfer.rs
+++ b/tests/cfail/token-transfer.rs
@@ -15,10 +15,13 @@ app! { //~ error bound `rtfm::Threshold: core::marker::Send` is not satisfied
         static TOKEN: Option<Threshold> = None;
     },
 
+    idle: {
+        resources: [TOKEN],
+    },
+
     tasks: {
         EXTI0: {
             path: exti0,
-            priority: 1,
             resources: [TOKEN],
         },
     }
@@ -26,7 +29,7 @@ app! { //~ error bound `rtfm::Threshold: core::marker::Send` is not satisfied
 
 fn init(_p: init::Peripherals, _r: init::Resources) {}
 
-fn idle() -> ! {
+fn idle(_t: &mut Threshold, _r: idle::Resources) -> ! {
     loop {}
 }