1 files changed, 22 insertions, 0 deletions
diff --git a/tests/cfail/borrow.rs b/tests/cfail/borrow.rs
new file mode 100644
index 0000000..fc8638f
--- /dev/null
+++ b/tests/cfail/borrow.rs
@@ -0,0 +1,22 @@
+extern crate cortex_m_srp;
+
+use cortex_m_srp::{C2, C3, C4, P1, Resource};
+
+static R1: Resource<i32, C3> = Resource::new(0);
+static R2: Resource<i32, C2> = Resource::new(0);
+static R3: Resource<i32, C3> = Resource::new(0);
+static R4: Resource<i32, C4> = Resource::new(0);
+
+fn j1(prio: P1) {
+    R1.lock(&prio, |r1, c3| {
+        // CAN borrow a resource with ceiling C when the system ceiling SC > C
+        let r2 = R2.borrow(&c3);
+
+        // CAN borrow a resource with ceiling C when the system ceiling SC == C
+        let r3 = R3.borrow(&c3);
+
+        // CAN'T borrow a resource with ceiling C when the system ceiling SC < C
+        let r4 = R4.borrow(&c3);
+        //~^ error
+    });
+}