diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2017-04-21 21:24:28 -0500 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2017-04-21 21:24:28 -0500 |
| commit | eea803008390cbae307e873ce6d39e01d6367759 (patch) | |
| tree | c759d6c28a01fa8fa89abd52326720c5d3b5b8d3 /tests/cfail/borrow.rs | |
| parent | 1c82f1b1190cb40a3502d5b74a8c98775a788850 (diff) | |
reword the comments in compile-fail tests
Diffstat (limited to 'tests/cfail/borrow.rs')
| -rw-r--r-- | tests/cfail/borrow.rs | 32 |
1 files changed, 18 insertions, 14 deletions
diff --git a/tests/cfail/borrow.rs b/tests/cfail/borrow.rs index 14762dc..6f9e1a8 100644 --- a/tests/cfail/borrow.rs +++ b/tests/cfail/borrow.rs @@ -12,22 +12,26 @@ static R6: Resource<i32, C2> = Resource::new(0); fn j1(prio: P2) { let ceil = prio.as_ceiling(); - ceil.raise(&R1, |ceil| { - // CAN borrow a resource with ceiling C when the current ceiling SC > C - let r2 = R2.borrow(&prio, ceil); + ceil.raise( + &R1, |ceil| { + // NOTE CC = Current Ceiling, P = task Priority - // CAN borrow a resource with ceiling C when the current ceiling SC == C - let r3 = R3.borrow(&prio, ceil); + // CAN borrow a resource with ceiling RC when CC > RC + let r2 = R2.borrow(&prio, ceil); - // CAN'T borrow a resource with ceiling C when the current ceiling SC < C - let r4 = R4.borrow(&prio, ceil); - //~^ error + // CAN borrow a resource with ceiling RC when CC == RC + let r3 = R3.borrow(&prio, ceil); - // CAN'T borrow a resource with ceiling C < P (task priority) - let r5 = R5.borrow(&prio, ceil); - //~^ error + // CAN'T borrow a resource with ceiling RC when CC < RC + let r4 = R4.borrow(&prio, ceil); + //~^ error - // CAN borrow a resource with ceiling C == P (task priority) - let r6 = R6.borrow(&prio, ceil); - }); + // CAN'T borrow a resource with ceiling RC when RC < P + let r5 = R5.borrow(&prio, ceil); + //~^ error + + // CAN borrow a resource with ceiling RC when RC == P + let r6 = R6.borrow(&prio, ceil); + } + ); } |
