summaryrefslogtreecommitdiffstats
path: root/src/test/ui/type/type-ascription-soundness.stderr
blob: 6ed940823af1af43d00654b28fde7ac3dc7e1c5b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
error[E0308]: mismatched types
  --> $DIR/type-ascription-soundness.rs:7:17
   |
LL |     let ref x = arr: &[u8];
   |                 ^^^ expected slice `[u8]`, found array `[u8; 3]`
   |
   = note: expected reference `&[u8]`
              found reference `&[u8; 3]`

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

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

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

error: aborting due to 4 previous errors

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