1 files changed, 43 insertions, 0 deletions
diff --git a/examples/not-sync.rs b/examples/not-sync.rs
new file mode 100644
index 00000000..f01d4043
--- /dev/null
+++ b/examples/not-sync.rs
@@ -0,0 +1,43 @@
+//! `examples/not-sync.rs`
+
+#![deny(unsafe_code)]
+#![deny(warnings)]
+#![no_main]
+#![no_std]
+
+use core::marker::PhantomData;
+use panic_semihosting as _;
+
+pub struct NotSync {
+    _0: PhantomData<*const ()>,
+}
+
+#[rtic::app(device = lm3s6965, dispatchers = [SSI0])]
+mod app {
+    use super::NotSync;
+    use core::marker::PhantomData;
+    use cortex_m_semihosting::debug;
+
+    #[resources]
+    struct Resources {
+        #[init(NotSync { _0: PhantomData })]
+        shared: NotSync,
+    }
+
+    #[init]
+    fn init(_: init::Context) -> (init::LateResources, init::Monotonics) {
+        debug::exit(debug::EXIT_SUCCESS);
+
+        (init::LateResources {}, init::Monotonics())
+    }
+
+    #[task(resources = [&shared])]
+    fn foo(c: foo::Context) {
+        let _: &NotSync = c.resources.shared;
+    }
+
+    #[task(resources = [&shared])]
+    fn bar(c: bar::Context) {
+        let _: &NotSync = c.resources.shared;
+    }
+}