let u1 = U { a: I(0) };
let u2 = U { a: I(1) };
let p = P { a: &2, b: &3 };
- let _ = &p.b; //~ WARN E0133
+ let _ = &p.b; //~ WARN reference to packed field
//~^ WARN will become a hard error
let _ = u1.a; // #53114: should eventually signal error as well
let _ = &u2.a; //~ ERROR [E0133]
// variation on above with `_` in substructure
- let (_,) = (&p.b,); //~ WARN E0133
+ let (_,) = (&p.b,); //~ WARN reference to packed field
//~^ WARN will become a hard error
let (_,) = (u1.a,); //~ ERROR [E0133]
let (_,) = (&u2.a,); //~ ERROR [E0133]
let u1 = U { a: I(0) };
let u2 = U { a: I(1) };
let p = P { a: &2, b: &3 };
- match &p.b { _ => { } } //~ WARN E0133
+ match &p.b { _ => { } } //~ WARN reference to packed field
//~^ WARN will become a hard error
match u1.a { _ => { } } //~ ERROR [E0133]
match &u2.a { _ => { } } //~ ERROR [E0133]
// variation on above with `_` in substructure
- match (&p.b,) { (_,) => { } } //~ WARN E0133
+ match (&p.b,) { (_,) => { } } //~ WARN reference to packed field
//~^ WARN will become a hard error
match (u1.a,) { (_,) => { } } //~ ERROR [E0133]
match (&u2.a,) { (_,) => { } } //~ ERROR [E0133]