blob: c6820e87290c2b63dfc6bc0c8b7ca0b11fdb9dec (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
error: Lock free shared resource "e1" is used by tasks at different priorities
--> $DIR/shared-lock-free.rs:9:9
|
9 | e1: u32,
| ^^
error: Shared resource "e1" is declared lock free but used by tasks at different priorities
--> $DIR/shared-lock-free.rs:30:36
|
30 | #[task(priority = 1, shared = [e1])]
| ^^
error: Shared resource "e1" is declared lock free but used by tasks at different priorities
--> $DIR/shared-lock-free.rs:36:36
|
36 | #[task(priority = 2, shared = [e1])]
| ^^
|
