error[E0308]: mismatched types
  --> $DIR/type-ascription-soundness.rs:7:17
   |
LL |     let ref x = arr: &[u8];
   |                 ^^^ expected slice, found array of 3 elements
   |
   = note: expected type `&[u8]`
              found type `&[u8; 3]`

error[E0308]: mismatched types
  --> $DIR/type-ascription-soundness.rs:8:21
   |
LL |     let ref mut x = arr: &[u8];
   |                     ^^^ expected slice, found array of 3 elements
   |
   = note: expected type `&[u8]`
              found type `&[u8; 3]`

error[E0308]: mismatched types
  --> $DIR/type-ascription-soundness.rs:9:11
   |
LL |     match arr: &[u8] {
   |           ^^^ expected slice, found array of 3 elements
   |
   = note: expected type `&[u8]`
              found type `&[u8; 3]`

error[E0308]: mismatched types
  --> $DIR/type-ascription-soundness.rs:12:17
   |
LL |     let _len = (arr: &[u8]).len();
   |                 ^^^ expected slice, found array of 3 elements
   |
   = note: expected type `&[u8]`
              found type `&[u8; 3]`

error: aborting due to 4 previous errors

For more information about this error, try `rustc --explain E0308`.