test RFC 147

tests/cfail/unsafe-exception.rs

@@ -0,0 +1,18 @@
+#![no_main]
+#![no_std]
+
+extern crate lm3s6965;
+extern crate panic_halt;
+extern crate rtfm;
+
+use rtfm::app;
+
+#[app(device = lm3s6965)]
+const APP: () = {
+    #[init]
+    fn init(_: init::Context) {}
+
+    #[exception(binds = SVCall)]
+    unsafe fn foo(_: foo::Context) {}
+    //~^ ERROR this `exception` handler must have type signature `fn(foo::Context)`
+};

tests/cfail/unsafe-idle.rs

@@ -0,0 +1,20 @@
+#![no_main]
+#![no_std]
+
+extern crate lm3s6965;
+extern crate panic_halt;
+extern crate rtfm;
+
+use rtfm::app;
+
+#[app(device = lm3s6965)]
+const APP: () = {
+    #[init]
+    fn init(_: init::Context) {}
+
+    #[idle]
+    unsafe fn idle(_: idle::Context) -> ! {
+        //~^ ERROR `idle` must have type signature `fn(idle::Context) -> !`
+        loop {}
+    }
+};

tests/cfail/unsafe-init.rs

@@ -0,0 +1,15 @@
+#![no_main]
+#![no_std]
+
+extern crate lm3s6965;
+extern crate panic_halt;
+extern crate rtfm;
+
+use rtfm::app;
+
+#[app(device = lm3s6965)]
+const APP: () = {
+    #[init]
+    unsafe fn init(_: init::Context) {}
+    //~^ ERROR `init` must have type signature `fn(init::Context) [-> init::LateResources]`
+};

tests/cfail/unsafe-interrupt.rs

@@ -0,0 +1,18 @@
+#![no_main]
+#![no_std]
+
+extern crate lm3s6965;
+extern crate panic_halt;
+extern crate rtfm;
+
+use rtfm::app;
+
+#[app(device = lm3s6965)]
+const APP: () = {
+    #[init]
+    fn init(_: init::Context) {}
+
+    #[interrupt(binds = UART0)]
+    unsafe fn foo(_: foo::Context) {}
+    //~^ ERROR this `interrupt` handler must have type signature `fn(foo::Context)`
+};

tests/cfail/unsafe-task.rs

@@ -0,0 +1,22 @@
+#![no_main]
+#![no_std]
+
+extern crate lm3s6965;
+extern crate panic_halt;
+extern crate rtfm;
+
+use rtfm::app;
+
+#[app(device = lm3s6965)]
+const APP: () = {
+    #[init]
+    fn init(_: init::Context) {}
+
+    #[task]
+    unsafe fn foo(_: foo::Context) {}
+    //~^ ERROR this `task` handler must have type signature `fn(foo::Context, ..)`
+
+    extern "C" {
+        fn UART0();
+    }
+};