src/test/ui/borrowck/issue-54499-field-mutation-of-never-init.rs

   1 #![warn(unused)]
   2 #[derive(Debug)]
   3 struct S(i32);
   4
   5 type Tuple = (S, i32);
   6 struct Tpair(S, i32);
   7 struct Spair { x: S, y: i32 }
   8
   9 fn main() {
  10     {
  11         let t: Tuple;
  12         t.0 = S(1);
  13         //~^ ERROR E0381
  14         t.1 = 2;
  15         println!("{:?} {:?}", t.0, t.1);
  16     }
  17
  18     {
  19         let u: Tpair;
  20         u.0 = S(1);
  21         //~^ ERROR E0381
  22         u.1 = 2;
  23         println!("{:?} {:?}", u.0, u.1);
  24     }
  25
  26     {
  27         let v: Spair;
  28         v.x = S(1);
  29         //~^ ERROR E0381
  30         v.y = 2;
  31         println!("{:?} {:?}", v.x, v.y);
  32     }
  33 }