src/test/ui/lint/uninitialized-zeroed.stderr

   1 error: the type `&'static T` does not permit zero-initialization
   2   --> $DIR/uninitialized-zeroed.rs:27:32
   3    |
   4 LL |         let _val: &'static T = mem::zeroed();
   5    |                                ^^^^^^^^^^^^^
   6    |                                |
   7    |                                this code causes undefined behavior when executed
   8    |                                help: use `MaybeUninit<T>` instead
   9    |
  10 note: lint level defined here
  11   --> $DIR/uninitialized-zeroed.rs:7:9
  12    |
  13 LL | #![deny(invalid_value)]
  14    |         ^^^^^^^^^^^^^
  15    = note: References must be non-null
  16
  17 error: the type `&'static T` does not permit being left uninitialized
  18   --> $DIR/uninitialized-zeroed.rs:28:32
  19    |
  20 LL |         let _val: &'static T = mem::uninitialized();
  21    |                                ^^^^^^^^^^^^^^^^^^^^
  22    |                                |
  23    |                                this code causes undefined behavior when executed
  24    |                                help: use `MaybeUninit<T>` instead
  25    |
  26    = note: References must be non-null
  27
  28 error: the type `Wrap<&'static T>` does not permit zero-initialization
  29   --> $DIR/uninitialized-zeroed.rs:30:38
  30    |
  31 LL |         let _val: Wrap<&'static T> = mem::zeroed();
  32    |                                      ^^^^^^^^^^^^^
  33    |                                      |
  34    |                                      this code causes undefined behavior when executed
  35    |                                      help: use `MaybeUninit<T>` instead
  36    |
  37 note: References must be non-null (in this struct field)
  38   --> $DIR/uninitialized-zeroed.rs:16:18
  39    |
  40 LL | struct Wrap<T> { wrapped: T }
  41    |                  ^^^^^^^^^^
  42
  43 error: the type `Wrap<&'static T>` does not permit being left uninitialized
  44   --> $DIR/uninitialized-zeroed.rs:31:38
  45    |
  46 LL |         let _val: Wrap<&'static T> = mem::uninitialized();
  47    |                                      ^^^^^^^^^^^^^^^^^^^^
  48    |                                      |
  49    |                                      this code causes undefined behavior when executed
  50    |                                      help: use `MaybeUninit<T>` instead
  51    |
  52 note: References must be non-null (in this struct field)
  53   --> $DIR/uninitialized-zeroed.rs:16:18
  54    |
  55 LL | struct Wrap<T> { wrapped: T }
  56    |                  ^^^^^^^^^^
  57
  58 error: the type `!` does not permit zero-initialization
  59   --> $DIR/uninitialized-zeroed.rs:38:23
  60    |
  61 LL |         let _val: ! = mem::zeroed();
  62    |                       ^^^^^^^^^^^^^
  63    |                       |
  64    |                       this code causes undefined behavior when executed
  65    |                       help: use `MaybeUninit<T>` instead
  66    |
  67    = note: The never type (`!`) has no valid value
  68
  69 error: the type `!` does not permit being left uninitialized
  70   --> $DIR/uninitialized-zeroed.rs:39:23
  71    |
  72 LL |         let _val: ! = mem::uninitialized();
  73    |                       ^^^^^^^^^^^^^^^^^^^^
  74    |                       |
  75    |                       this code causes undefined behavior when executed
  76    |                       help: use `MaybeUninit<T>` instead
  77    |
  78    = note: The never type (`!`) has no valid value
  79
  80 error: the type `(i32, !)` does not permit zero-initialization
  81   --> $DIR/uninitialized-zeroed.rs:41:30
  82    |
  83 LL |         let _val: (i32, !) = mem::zeroed();
  84    |                              ^^^^^^^^^^^^^
  85    |                              |
  86    |                              this code causes undefined behavior when executed
  87    |                              help: use `MaybeUninit<T>` instead
  88    |
  89    = note: The never type (`!`) has no valid value
  90
  91 error: the type `(i32, !)` does not permit being left uninitialized
  92   --> $DIR/uninitialized-zeroed.rs:42:30
  93    |
  94 LL |         let _val: (i32, !) = mem::uninitialized();
  95    |                              ^^^^^^^^^^^^^^^^^^^^
  96    |                              |
  97    |                              this code causes undefined behavior when executed
  98    |                              help: use `MaybeUninit<T>` instead
  99    |
 100    = note: The never type (`!`) has no valid value
 101
 102 error: the type `Void` does not permit zero-initialization
 103   --> $DIR/uninitialized-zeroed.rs:44:26
 104    |
 105 LL |         let _val: Void = mem::zeroed();
 106    |                          ^^^^^^^^^^^^^
 107    |                          |
 108    |                          this code causes undefined behavior when executed
 109    |                          help: use `MaybeUninit<T>` instead
 110    |
 111    = note: 0-variant enums have no valid value
 112
 113 error: the type `Void` does not permit being left uninitialized
 114   --> $DIR/uninitialized-zeroed.rs:45:26
 115    |
 116 LL |         let _val: Void = mem::uninitialized();
 117    |                          ^^^^^^^^^^^^^^^^^^^^
 118    |                          |
 119    |                          this code causes undefined behavior when executed
 120    |                          help: use `MaybeUninit<T>` instead
 121    |
 122    = note: 0-variant enums have no valid value
 123
 124 error: the type `&'static i32` does not permit zero-initialization
 125   --> $DIR/uninitialized-zeroed.rs:47:34
 126    |
 127 LL |         let _val: &'static i32 = mem::zeroed();
 128    |                                  ^^^^^^^^^^^^^
 129    |                                  |
 130    |                                  this code causes undefined behavior when executed
 131    |                                  help: use `MaybeUninit<T>` instead
 132    |
 133    = note: References must be non-null
 134
 135 error: the type `&'static i32` does not permit being left uninitialized
 136   --> $DIR/uninitialized-zeroed.rs:48:34
 137    |
 138 LL |         let _val: &'static i32 = mem::uninitialized();
 139    |                                  ^^^^^^^^^^^^^^^^^^^^
 140    |                                  |
 141    |                                  this code causes undefined behavior when executed
 142    |                                  help: use `MaybeUninit<T>` instead
 143    |
 144    = note: References must be non-null
 145
 146 error: the type `Ref` does not permit zero-initialization
 147   --> $DIR/uninitialized-zeroed.rs:50:25
 148    |
 149 LL |         let _val: Ref = mem::zeroed();
 150    |                         ^^^^^^^^^^^^^
 151    |                         |
 152    |                         this code causes undefined behavior when executed
 153    |                         help: use `MaybeUninit<T>` instead
 154    |
 155 note: References must be non-null (in this struct field)
 156   --> $DIR/uninitialized-zeroed.rs:13:12
 157    |
 158 LL | struct Ref(&'static i32);
 159    |            ^^^^^^^^^^^^
 160
 161 error: the type `Ref` does not permit being left uninitialized
 162   --> $DIR/uninitialized-zeroed.rs:51:25
 163    |
 164 LL |         let _val: Ref = mem::uninitialized();
 165    |                         ^^^^^^^^^^^^^^^^^^^^
 166    |                         |
 167    |                         this code causes undefined behavior when executed
 168    |                         help: use `MaybeUninit<T>` instead
 169    |
 170 note: References must be non-null (in this struct field)
 171   --> $DIR/uninitialized-zeroed.rs:13:12
 172    |
 173 LL | struct Ref(&'static i32);
 174    |            ^^^^^^^^^^^^
 175
 176 error: the type `fn()` does not permit zero-initialization
 177   --> $DIR/uninitialized-zeroed.rs:53:26
 178    |
 179 LL |         let _val: fn() = mem::zeroed();
 180    |                          ^^^^^^^^^^^^^
 181    |                          |
 182    |                          this code causes undefined behavior when executed
 183    |                          help: use `MaybeUninit<T>` instead
 184    |
 185    = note: Function pointers must be non-null
 186
 187 error: the type `fn()` does not permit being left uninitialized
 188   --> $DIR/uninitialized-zeroed.rs:54:26
 189    |
 190 LL |         let _val: fn() = mem::uninitialized();
 191    |                          ^^^^^^^^^^^^^^^^^^^^
 192    |                          |
 193    |                          this code causes undefined behavior when executed
 194    |                          help: use `MaybeUninit<T>` instead
 195    |
 196    = note: Function pointers must be non-null
 197
 198 error: the type `Wrap<fn()>` does not permit zero-initialization
 199   --> $DIR/uninitialized-zeroed.rs:56:32
 200    |
 201 LL |         let _val: Wrap<fn()> = mem::zeroed();
 202    |                                ^^^^^^^^^^^^^
 203    |                                |
 204    |                                this code causes undefined behavior when executed
 205    |                                help: use `MaybeUninit<T>` instead
 206    |
 207 note: Function pointers must be non-null (in this struct field)
 208   --> $DIR/uninitialized-zeroed.rs:16:18
 209    |
 210 LL | struct Wrap<T> { wrapped: T }
 211    |                  ^^^^^^^^^^
 212
 213 error: the type `Wrap<fn()>` does not permit being left uninitialized
 214   --> $DIR/uninitialized-zeroed.rs:57:32
 215    |
 216 LL |         let _val: Wrap<fn()> = mem::uninitialized();
 217    |                                ^^^^^^^^^^^^^^^^^^^^
 218    |                                |
 219    |                                this code causes undefined behavior when executed
 220    |                                help: use `MaybeUninit<T>` instead
 221    |
 222 note: Function pointers must be non-null (in this struct field)
 223   --> $DIR/uninitialized-zeroed.rs:16:18
 224    |
 225 LL | struct Wrap<T> { wrapped: T }
 226    |                  ^^^^^^^^^^
 227
 228 error: the type `WrapEnum<fn()>` does not permit zero-initialization
 229   --> $DIR/uninitialized-zeroed.rs:59:36
 230    |
 231 LL |         let _val: WrapEnum<fn()> = mem::zeroed();
 232    |                                    ^^^^^^^^^^^^^
 233    |                                    |
 234    |                                    this code causes undefined behavior when executed
 235    |                                    help: use `MaybeUninit<T>` instead
 236    |
 237 note: Function pointers must be non-null (in this enum field)
 238   --> $DIR/uninitialized-zeroed.rs:17:28
 239    |
 240 LL | enum WrapEnum<T> { Wrapped(T) }
 241    |                            ^
 242
 243 error: the type `WrapEnum<fn()>` does not permit being left uninitialized
 244   --> $DIR/uninitialized-zeroed.rs:60:36
 245    |
 246 LL |         let _val: WrapEnum<fn()> = mem::uninitialized();
 247    |                                    ^^^^^^^^^^^^^^^^^^^^
 248    |                                    |
 249    |                                    this code causes undefined behavior when executed
 250    |                                    help: use `MaybeUninit<T>` instead
 251    |
 252 note: Function pointers must be non-null (in this enum field)
 253   --> $DIR/uninitialized-zeroed.rs:17:28
 254    |
 255 LL | enum WrapEnum<T> { Wrapped(T) }
 256    |                            ^
 257
 258 error: the type `Wrap<(RefPair, i32)>` does not permit zero-initialization
 259   --> $DIR/uninitialized-zeroed.rs:62:42
 260    |
 261 LL |         let _val: Wrap<(RefPair, i32)> = mem::zeroed();
 262    |                                          ^^^^^^^^^^^^^
 263    |                                          |
 264    |                                          this code causes undefined behavior when executed
 265    |                                          help: use `MaybeUninit<T>` instead
 266    |
 267 note: References must be non-null (in this struct field)
 268   --> $DIR/uninitialized-zeroed.rs:14:16
 269    |
 270 LL | struct RefPair((&'static i32, i32));
 271    |                ^^^^^^^^^^^^^^^^^^^
 272
 273 error: the type `Wrap<(RefPair, i32)>` does not permit being left uninitialized
 274   --> $DIR/uninitialized-zeroed.rs:63:42
 275    |
 276 LL |         let _val: Wrap<(RefPair, i32)> = mem::uninitialized();
 277    |                                          ^^^^^^^^^^^^^^^^^^^^
 278    |                                          |
 279    |                                          this code causes undefined behavior when executed
 280    |                                          help: use `MaybeUninit<T>` instead
 281    |
 282 note: References must be non-null (in this struct field)
 283   --> $DIR/uninitialized-zeroed.rs:14:16
 284    |
 285 LL | struct RefPair((&'static i32, i32));
 286    |                ^^^^^^^^^^^^^^^^^^^
 287
 288 error: the type `std::vec::Vec<i32>` does not permit zero-initialization
 289   --> $DIR/uninitialized-zeroed.rs:65:30
 290    |
 291 LL |         let _val: Vec<i32> = mem::zeroed();
 292    |                              ^^^^^^^^^^^^^
 293    |                              |
 294    |                              this code causes undefined behavior when executed
 295    |                              help: use `MaybeUninit<T>` instead
 296    |
 297 note: std::ptr::Unique<i32> must be non-null (in this struct field)
 298   --> $SRC_DIR/liballoc/raw_vec.rs:LL:COL
 299    |
 300 LL |     ptr: Unique<T>,
 301    |     ^^^^^^^^^^^^^^
 302
 303 error: the type `std::vec::Vec<i32>` does not permit being left uninitialized
 304   --> $DIR/uninitialized-zeroed.rs:66:30
 305    |
 306 LL |         let _val: Vec<i32> = mem::uninitialized();
 307    |                              ^^^^^^^^^^^^^^^^^^^^
 308    |                              |
 309    |                              this code causes undefined behavior when executed
 310    |                              help: use `MaybeUninit<T>` instead
 311    |
 312 note: std::ptr::Unique<i32> must be non-null (in this struct field)
 313   --> $SRC_DIR/liballoc/raw_vec.rs:LL:COL
 314    |
 315 LL |     ptr: Unique<T>,
 316    |     ^^^^^^^^^^^^^^
 317
 318 error: the type `bool` does not permit being left uninitialized
 319   --> $DIR/uninitialized-zeroed.rs:70:26
 320    |
 321 LL |         let _val: bool = mem::uninitialized();
 322    |                          ^^^^^^^^^^^^^^^^^^^^
 323    |                          |
 324    |                          this code causes undefined behavior when executed
 325    |                          help: use `MaybeUninit<T>` instead
 326    |
 327    = note: Booleans must be `true` or `false`
 328
 329 error: the type `Wrap<char>` does not permit being left uninitialized
 330   --> $DIR/uninitialized-zeroed.rs:73:32
 331    |
 332 LL |         let _val: Wrap<char> = mem::uninitialized();
 333    |                                ^^^^^^^^^^^^^^^^^^^^
 334    |                                |
 335    |                                this code causes undefined behavior when executed
 336    |                                help: use `MaybeUninit<T>` instead
 337    |
 338 note: Characters must be a valid unicode codepoint (in this struct field)
 339   --> $DIR/uninitialized-zeroed.rs:16:18
 340    |
 341 LL | struct Wrap<T> { wrapped: T }
 342    |                  ^^^^^^^^^^
 343
 344 error: the type `NonBig` does not permit being left uninitialized
 345   --> $DIR/uninitialized-zeroed.rs:76:28
 346    |
 347 LL |         let _val: NonBig = mem::uninitialized();
 348    |                            ^^^^^^^^^^^^^^^^^^^^
 349    |                            |
 350    |                            this code causes undefined behavior when executed
 351    |                            help: use `MaybeUninit<T>` instead
 352    |
 353    = note: NonBig must be initialized inside its custom valid range
 354
 355 error: aborting due to 27 previous errors
 356