From a94de6bafcd95c0313e638138643f87c3b0e6aa0 Mon Sep 17 00:00:00 2001 From: Jorge Aparicio Date: Fri, 14 Apr 2017 09:45:50 -0500 Subject: wrap references to resources in static-ref's Ref/RefMut to assert that they point to `static` data --- tests/cfail/claim_mut.rs | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) (limited to 'tests/cfail/claim_mut.rs') diff --git a/tests/cfail/claim_mut.rs b/tests/cfail/claim_mut.rs index 0d1dffd..50da4a6 100644 --- a/tests/cfail/claim_mut.rs +++ b/tests/cfail/claim_mut.rs @@ -8,26 +8,26 @@ static R1: Resource = Resource::new(0); fn j1(mut prio: P2) { // OK only one `&mut-` reference to the data - let r1: &mut i32 = R1.claim_mut(&mut prio); + let r1 = R1.claim_mut(&mut prio); } fn j2(prio: P2) { // OK two `&-` references to the same data - let r1: &i32 = R1.claim(&prio); - let another_r1: &i32 = R1.claim(&prio); + 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: &i32 = R1.claim(&prio); - let another_r1: &mut i32 = R1.claim_mut(&mut prio); + 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: &mut i32 = R1.claim_mut(&mut prio); - let another_r1: &mut i32 = R1.claim_mut(&mut prio); + let r1 = R1.claim_mut(&mut prio); + let another_r1 = R1.claim_mut(&mut prio); //~^ error } -- cgit v1.2.3