diff options
| author | Jorge Aparicio <japaricious@gmail.com> | 2017-04-19 16:35:07 -0500 |
|---|---|---|
| committer | Jorge Aparicio <japaricious@gmail.com> | 2017-04-19 16:35:07 -0500 |
| commit | 0827c40a265adc4ffc143e96ecb5627618b2f68e (patch) | |
| tree | 54af4d6baccdcf54a345a4612561f58a66e1a0a9 /tests/cfail | |
| parent | 914e19d6a5c4d7fd70dbee6a9b65c7ac2f6c7794 (diff) | |
remove the _mut methods
they are too limited
Diffstat (limited to 'tests/cfail')
| -rw-r--r-- | tests/cfail/claim_mut.rs | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/tests/cfail/claim_mut.rs b/tests/cfail/claim_mut.rs deleted file mode 100644 index 50da4a6..0000000 --- a/tests/cfail/claim_mut.rs +++ /dev/null @@ -1,34 +0,0 @@ -#![feature(const_fn)] - -extern crate cortex_m_srp; - -use cortex_m_srp::{C2, P2, Resource}; - -static R1: Resource<i32, C2> = Resource::new(0); - -fn j1(mut prio: P2) { - // OK only one `&mut-` reference to the data - let r1 = R1.claim_mut(&mut prio); -} - -fn j2(prio: P2) { - // OK two `&-` references to the same data - let r1 = R1.claim(&prio); - let another_r1 = R1.claim(&prio); -} - -fn j3(mut prio: P2) { - // CAN'T have a `&-` reference and a `&mut-` reference to the same data - let r1 = R1.claim(&prio); - let another_r1 = R1.claim_mut(&mut prio); - //~^ error -} - -fn j4(mut prio: P2) { - // CAN'T have two `&mut-` references to the same data - let r1 = R1.claim_mut(&mut prio); - let another_r1 = R1.claim_mut(&mut prio); - //~^ error -} - -fn main() {} |
