1 // revisions: mirunsafeck thirunsafeck
2 // [thirunsafeck]compile-flags: -Z thir-unsafeck
7 a: u8, // should not be reported
8 b: u8, // should not be reported
9 c: u8, //~ ERROR field `c` is never read
12 a: u8, //~ ERROR field `a` is never read
13 b: u8, // should not be reported
14 c: u8, // should not be reported
16 union NoDropLike { a: u8 } //~ ERROR field `a` is never read
19 a: u8, // should not be reported
20 b: u8, // should not be reported
21 c: u8, //~ ERROR field `c` is never read
27 let _a = unsafe { u.b };
30 let _b = unsafe { u.b };
32 let _u = NoDropLike { a: 10 };
34 let _b = unsafe { u.b };