src/test/ui/pattern/bindings-after-at/borrowck-pat-ref-both-sides.rs

   1 // check-pass
   2
   3 // Test that `ref` patterns may be used on both sides
   4 // of an `@` pattern according to NLL borrowck.
   5
   6 #![feature(bindings_after_at)]
   7 #![feature(slice_patterns)]
   8
   9 fn main() {
  10     struct U; // Not copy!
  11
  12     // Promotion:
  13     let ref a @ ref b = U;
  14     let _: &U = a;
  15     let _: &U = b;
  16
  17     // Prevent promotion:
  18     fn u() -> U { U }
  19
  20     let ref a @ ref b = u();
  21     let _: &U = a;
  22     let _: &U = b;
  23
  24     let ref a @ (ref b, [ref c, ref d]) = (u(), [u(), u()]);
  25     let _: &(U, [U; 2]) = a;
  26     let _: &U = b;
  27     let _: &U = c;
  28     let _: &U = d;
  29
  30     fn f1(ref a @ (ref b, [ref c, ref mid @ .., ref d]): (U, [U; 4])) {}
  31
  32     let a @ (b, [c, d]) = &(u(), [u(), u()]);
  33     let _: &(U, [U; 2]) = a;
  34     let _: &U = b;
  35     let _: &U = c;
  36     let _: &U = d;
  37
  38     let ref a @ &ref b = &u();
  39     let _: &&U = a;
  40     let _: &U = b;
  41
  42     match Ok(u()) {
  43         ref a @ Ok(ref b) | ref a @ Err(ref b) => {
  44             let _: &Result<U, U> = a;
  45             let _: &U = b;
  46         }
  47     }
  48 }