aboutsummaryrefslogtreecommitdiff
path: root/tests/cfail/unsafe-idle.rs
diff options
context:
space:
mode:
authorJorge Aparicio <jorge@japaric.io>2019-04-21 20:20:33 +0200
committerJorge Aparicio <jorge@japaric.io>2019-05-01 20:49:25 +0200
commitd538f5b17cf0ad482cd803d7fbaada3349d6485e (patch)
tree32e1b85277aac72628586da87ee7a2ef32e02df6 /tests/cfail/unsafe-idle.rs
parentd0aaa2a805afdda30b49b3dfdb7072f302855a79 (diff)
test RFC 147
Diffstat (limited to 'tests/cfail/unsafe-idle.rs')
-rw-r--r--tests/cfail/unsafe-idle.rs20
1 files changed, 20 insertions, 0 deletions
diff --git a/tests/cfail/unsafe-idle.rs b/tests/cfail/unsafe-idle.rs
new file mode 100644
index 0000000..fab1b0f
--- /dev/null
+++ b/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 {}
+ }
+};