Merge #193

193: remove unused check r=japaric a=japaric

that was added in #140 but it's no longer required

this PR also adds some cfail tests to test the updated code

Co-authored-by: Jorge Aparicio <jorge@japaric.io>

2 files changed, 32 insertions, 0 deletions

diff --git a/tests/cfail/init-extra-late-resources.rs b/tests/cfail/init-extra-late-resources.rs
new file mode 100644
index 0000000..d2d4a6d
--- /dev/null
+++ b/tests/cfail/init-extra-late-resources.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]
+    fn init(_: init::Context) -> init::LateResources {}
+    //~^ error: `init` signature must be `fn(init::Context)` if there are no late resources
+};
diff --git a/tests/cfail/init-missing-late-resources.rs b/tests/cfail/init-missing-late-resources.rs
new file mode 100644
index 0000000..cec18ba
--- /dev/null
+++ b/tests/cfail/init-missing-late-resources.rs
@@ -0,0 +1,17 @@
+#![no_main]
+#![no_std]
+
+extern crate lm3s6965;
+extern crate panic_halt;
+extern crate rtfm;
+
+use rtfm::app;
+
+#[app(device = lm3s6965)]
+const APP: () = {
+    static mut X: i32 = ();
+
+    #[init]
+    fn init(_: init::Context) {}
+    //~^ error: late resources have been specified so `init` must return `init::LateResources`
+};