about summary refs log tree commit diff
path: root/tests/ui/unsafe-fields/unsafe-fields.stderr
blob: d0e2dc16a13d546baada6f6252181e1fced0fecf (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
error[E0133]: use of unsafe field is unsafe and requires unsafe block
  --> $DIR/unsafe-fields.rs:15:30
   |
LL |     let A::WithUnsafeField { unsafe_field, safe_field } = a;
   |                              ^^^^^^^^^^^^ use of unsafe field
   |
   = note: unsafe fields may carry library invariants

error[E0133]: initializing type with an unsafe field is unsafe and requires unsafe block
  --> $DIR/unsafe-fields.rs:43:9
   |
LL | /         WithUnsafeField {
LL | |             unsafe_field: 0,
LL | |             safe_field: 0,
LL | |         }
   | |_________^ initialization of struct with unsafe field
   |
   = note: unsafe fields may carry library invariants

error[E0133]: use of unsafe field is unsafe and requires unsafe block
  --> $DIR/unsafe-fields.rs:80:9
   |
LL |         self.unsafe_field = 2;
   |         ^^^^^^^^^^^^^^^^^ use of unsafe field
   |
   = note: unsafe fields may carry library invariants

error[E0133]: use of unsafe field is unsafe and requires unsafe block
  --> $DIR/unsafe-fields.rs:85:9
   |
LL |         self.unsafe_field
   |         ^^^^^^^^^^^^^^^^^ use of unsafe field
   |
   = note: unsafe fields may carry library invariants

error[E0133]: use of unsafe field is unsafe and requires unsafe block
  --> $DIR/unsafe-fields.rs:90:10
   |
LL |         &self.unsafe_field
   |          ^^^^^^^^^^^^^^^^^ use of unsafe field
   |
   = note: unsafe fields may carry library invariants

error[E0133]: use of unsafe field is unsafe and requires unsafe block
  --> $DIR/unsafe-fields.rs:95:32
   |
LL |         let Self { safe_field, unsafe_field } = self;
   |                                ^^^^^^^^^^^^ use of unsafe field
   |
   = note: unsafe fields may carry library invariants

error[E0133]: use of unsafe field is unsafe and requires unsafe block
  --> $DIR/unsafe-fields.rs:106:20
   |
LL |         &raw const self.unsafe_field
   |                    ^^^^^^^^^^^^^^^^^ use of unsafe field
   |
   = note: unsafe fields may carry library invariants

error: aborting due to 7 previous errors

For more information about this error, try `rustc --explain E0133`.