aboutsummaryrefslogtreecommitdiff
path: root/macros/ui/shared-lock-free.stderr
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])]
   |                                    ^^