aboutsummaryrefslogtreecommitdiff
path: root/tests/cfail/lock_mut.rs
diff options
context:
space:
mode:
authorJorge Aparicio <japaricious@gmail.com>2017-04-12 15:27:48 -0500
committerJorge Aparicio <japaricious@gmail.com>2017-04-12 15:27:48 -0500
commitf62af15cfd1491219fab4345abd7f21a6418e45f (patch)
tree4bd837200ede15c914460f70d90015339299a920 /tests/cfail/lock_mut.rs
parentfb20b5152822462de2b5482f590c8f18078ec70b (diff)
implement lock_mut
Diffstat (limited to 'tests/cfail/lock_mut.rs')
-rw-r--r--tests/cfail/lock_mut.rs16
1 files changed, 16 insertions, 0 deletions
diff --git a/tests/cfail/lock_mut.rs b/tests/cfail/lock_mut.rs
new file mode 100644
index 0000000..b5e1ae9
--- /dev/null
+++ b/tests/cfail/lock_mut.rs
@@ -0,0 +1,16 @@
+extern crate cortex_m_srp;
+
+use cortex_m_srp::{C3, C4, P2, Resource};
+
+static R1: Resource<i32, C4> = Resource::new(0);
+static R2: Resource<i32, C3> = Resource::new(0);
+
+fn j1(mut prio: P2) {
+ R1.lock_mut(
+ &mut prio, |r1: &mut i32, c3| {
+ let r2 = R2.borrow(&c3);
+ let another_r1: &i32 = R1.borrow(&c3);
+ //~^ error
+ }
+ );
+}