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

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

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

error[E0308]: mismatched types
  --> $DIR/type-ascription-soundness.rs:22:17
   |
LL |     let _len = (arr: &[u8]).len(); //~ ERROR mismatched types
   |                 ^^^ 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`.