src/test/ui/coercion/coerce-to-bang.stderr

   1 error[E0308]: mismatched types
   2   --> $DIR/coerce-to-bang.rs:6:17
   3    |
   4 LL |     foo(return, 22, 44);
   5    |                 ^^ expected `!`, found integer
   6    |
   7    = note: expected type `!`
   8               found type `{integer}`
   9
  10 error[E0308]: mismatched types
  11   --> $DIR/coerce-to-bang.rs:18:13
  12    |
  13 LL |     foo(22, 44, return);
  14    |             ^^ expected `!`, found integer
  15    |
  16    = note: expected type `!`
  17               found type `{integer}`
  18
  19 error[E0308]: mismatched types
  20   --> $DIR/coerce-to-bang.rs:26:12
  21    |
  22 LL |     foo(a, b, c); // ... and hence a reference to `a` is expected to diverge.
  23    |            ^ expected `!`, found integer
  24    |
  25    = note: expected type `!`
  26               found type `{integer}`
  27
  28 error[E0308]: mismatched types
  29   --> $DIR/coerce-to-bang.rs:36:12
  30    |
  31 LL |     foo(a, b, c);
  32    |            ^ expected `!`, found integer
  33    |
  34    = note: expected type `!`
  35               found type `{integer}`
  36
  37 error[E0308]: mismatched types
  38   --> $DIR/coerce-to-bang.rs:45:12
  39    |
  40 LL |     foo(a, b, c);
  41    |            ^ expected `!`, found integer
  42    |
  43    = note: expected type `!`
  44               found type `{integer}`
  45
  46 error[E0308]: mismatched types
  47   --> $DIR/coerce-to-bang.rs:50:21
  48    |
  49 LL |     let x: [!; 2] = [return, 22];
  50    |            ------   ^^^^^^^^^^^^ expected `!`, found integer
  51    |            |
  52    |            expected due to this
  53    |
  54    = note: expected array `[!; 2]`
  55               found array `[{integer}; 2]`
  56
  57 error[E0308]: mismatched types
  58   --> $DIR/coerce-to-bang.rs:55:22
  59    |
  60 LL |     let x: [!; 2] = [22, return];
  61    |                      ^^ expected `!`, found integer
  62    |
  63    = note: expected type `!`
  64               found type `{integer}`
  65
  66 error[E0308]: mismatched types
  67   --> $DIR/coerce-to-bang.rs:60:37
  68    |
  69 LL |     let x: (usize, !, usize) = (22, 44, 66);
  70    |                                     ^^ expected `!`, found integer
  71    |
  72    = note: expected type `!`
  73               found type `{integer}`
  74
  75 error[E0308]: mismatched types
  76   --> $DIR/coerce-to-bang.rs:65:41
  77    |
  78 LL |     let x: (usize, !, usize) = (return, 44, 66);
  79    |                                         ^^ expected `!`, found integer
  80    |
  81    = note: expected type `!`
  82               found type `{integer}`
  83
  84 error[E0308]: mismatched types
  85   --> $DIR/coerce-to-bang.rs:76:37
  86    |
  87 LL |     let x: (usize, !, usize) = (22, 44, return);
  88    |                                     ^^ expected `!`, found integer
  89    |
  90    = note: expected type `!`
  91               found type `{integer}`
  92
  93 error: aborting due to 10 previous errors
  94
  95 For more information about this error, try `rustc --explain E0308`.