src/test/ui/pattern/bindings-after-at/borrowck-pat-by-move-and-ref-inverse-promotion.stderr

   1 error: borrow of moved value
   2   --> $DIR/borrowck-pat-by-move-and-ref-inverse-promotion.rs:9:9
   3    |
   4 LL |     let a @ ref b = U;
   5    |         -^^^-----
   6    |         |   |
   7    |         |   value borrowed here after move
   8    |         value moved into `a` here
   9    |         move occurs because `a` has type `U` which does not implement the `Copy` trait
  10
  11 error: aborting due to previous error
  12