src/test/ui/coercion/coerce-expect-unsized-ascribed.stderr

   1 error[E0308]: mismatched types
   2   --> $DIR/coerce-expect-unsized-ascribed.rs:9:13
   3    |
   4 LL |     let _ = box { [1, 2, 3] }: Box<[i32]>;
   5    |             ^^^^^^^^^^^^^^^^^ expected slice `[i32]`, found array `[i32; 3]`
   6    |
   7    = note: expected struct `Box<[i32]>`
   8               found struct `Box<[i32; 3]>`
   9
  10 error[E0308]: mismatched types
  11   --> $DIR/coerce-expect-unsized-ascribed.rs:10:13
  12    |
  13 LL |     let _ = box if true { [1, 2, 3] } else { [1, 3, 4] }: Box<[i32]>;
  14    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected slice `[i32]`, found array `[i32; 3]`
  15    |
  16    = note: expected struct `Box<[i32]>`
  17               found struct `Box<[i32; 3]>`
  18
  19 error[E0308]: mismatched types
  20   --> $DIR/coerce-expect-unsized-ascribed.rs:11:13
  21    |
  22 LL |     let _ = box match true { true => [1, 2, 3], false => [1, 3, 4] }: Box<[i32]>;
  23    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected slice `[i32]`, found array `[i32; 3]`
  24    |
  25    = note: expected struct `Box<[i32]>`
  26               found struct `Box<[i32; 3]>`
  27
  28 error[E0308]: mismatched types
  29   --> $DIR/coerce-expect-unsized-ascribed.rs:13:13
  30    |
  31 LL |     let _ = box { |x| (x as u8) }: Box<dyn Fn(i32) -> _>;
  32    |             ^^^^^^^^^^^^^^^^^^^^^ expected trait object `dyn Fn`, found closure
  33    |
  34    = note: expected struct `Box<dyn Fn(i32) -> u8>`
  35               found struct `Box<[closure@$DIR/coerce-expect-unsized-ascribed.rs:13:19: 13:22]>`
  36
  37 error[E0308]: mismatched types
  38   --> $DIR/coerce-expect-unsized-ascribed.rs:14:13
  39    |
  40 LL |     let _ = box if true { false } else { true }: Box<dyn Debug>;
  41    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected trait object `dyn Debug`, found `bool`
  42    |
  43    = note: expected struct `Box<dyn Debug>`
  44               found struct `Box<bool>`
  45
  46 error[E0308]: mismatched types
  47   --> $DIR/coerce-expect-unsized-ascribed.rs:15:13
  48    |
  49 LL |     let _ = box match true { true => 'a', false => 'b' }: Box<dyn Debug>;
  50    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected trait object `dyn Debug`, found `char`
  51    |
  52    = note: expected struct `Box<dyn Debug>`
  53               found struct `Box<char>`
  54
  55 error[E0308]: mismatched types
  56   --> $DIR/coerce-expect-unsized-ascribed.rs:17:13
  57    |
  58 LL |     let _ = &{ [1, 2, 3] }: &[i32];
  59    |             ^^^^^^^^^^^^^^ expected slice `[i32]`, found array `[i32; 3]`
  60    |
  61    = note: expected reference `&[i32]`
  62               found reference `&[i32; 3]`
  63
  64 error[E0308]: mismatched types
  65   --> $DIR/coerce-expect-unsized-ascribed.rs:18:13
  66    |
  67 LL |     let _ = &if true { [1, 2, 3] } else { [1, 3, 4] }: &[i32];
  68    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected slice `[i32]`, found array `[i32; 3]`
  69    |
  70    = note: expected reference `&[i32]`
  71               found reference `&[i32; 3]`
  72
  73 error[E0308]: mismatched types
  74   --> $DIR/coerce-expect-unsized-ascribed.rs:19:13
  75    |
  76 LL |     let _ = &match true { true => [1, 2, 3], false => [1, 3, 4] }: &[i32];
  77    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected slice `[i32]`, found array `[i32; 3]`
  78    |
  79    = note: expected reference `&[i32]`
  80               found reference `&[i32; 3]`
  81
  82 error[E0308]: mismatched types
  83   --> $DIR/coerce-expect-unsized-ascribed.rs:21:13
  84    |
  85 LL |     let _ = &{ |x| (x as u8) }: &dyn Fn(i32) -> _;
  86    |             ^^^^^^^^^^^^^^^^^^ expected trait object `dyn Fn`, found closure
  87    |
  88    = note: expected reference `&dyn Fn(i32) -> u8`
  89               found reference `&[closure@$DIR/coerce-expect-unsized-ascribed.rs:21:16: 21:19]`
  90
  91 error[E0308]: mismatched types
  92   --> $DIR/coerce-expect-unsized-ascribed.rs:22:13
  93    |
  94 LL |     let _ = &if true { false } else { true }: &dyn Debug;
  95    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected trait object `dyn Debug`, found `bool`
  96    |
  97    = note: expected reference `&dyn Debug`
  98               found reference `&bool`
  99
 100 error[E0308]: mismatched types
 101   --> $DIR/coerce-expect-unsized-ascribed.rs:23:13
 102    |
 103 LL |     let _ = &match true { true => 'a', false => 'b' }: &dyn Debug;
 104    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected trait object `dyn Debug`, found `char`
 105    |
 106    = note: expected reference `&dyn Debug`
 107               found reference `&char`
 108
 109 error[E0308]: mismatched types
 110   --> $DIR/coerce-expect-unsized-ascribed.rs:25:13
 111    |
 112 LL |     let _ = Box::new([1, 2, 3]): Box<[i32]>;
 113    |             ^^^^^^^^^^^^^^^^^^^ expected slice `[i32]`, found array `[i32; 3]`
 114    |
 115    = note: expected struct `Box<[i32]>`
 116               found struct `Box<[i32; 3]>`
 117
 118 error[E0308]: mismatched types
 119   --> $DIR/coerce-expect-unsized-ascribed.rs:26:13
 120    |
 121 LL |     let _ = Box::new(|x| (x as u8)): Box<dyn Fn(i32) -> _>;
 122    |             ^^^^^^^^^^^^^^^^^^^^^^^ expected trait object `dyn Fn`, found closure
 123    |
 124    = note: expected struct `Box<dyn Fn(i32) -> u8>`
 125               found struct `Box<[closure@$DIR/coerce-expect-unsized-ascribed.rs:26:22: 26:25]>`
 126
 127 error: aborting due to 14 previous errors
 128
 129 For more information about this error, try `rustc --explain E0308`.