src/test/ui/consts/assert-type-intrinsics.stderr

   1 error: any use of this value will cause an error
   2   --> $DIR/assert-type-intrinsics.rs:14:9
   3    |
   4 LL | /     const _BAD1: () = unsafe {
   5 LL | |         MaybeUninit::<!>::uninit().assume_init();
   6    | |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ aborted execution: attempted to instantiate uninhabited type `!`
   7 LL | |     };
   8    | |______-
   9    |
  10    = note: `#[deny(const_err)]` on by default
  11    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
  12    = note: for more information, see issue #71800 <https://github.com/rust-lang/rust/issues/71800>
  13
  14 error: any use of this value will cause an error
  15   --> $DIR/assert-type-intrinsics.rs:17:9
  16    |
  17 LL | /     const _BAD2: () = unsafe {
  18 LL | |         intrinsics::assert_uninit_valid::<bool>();
  19    | |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ aborted execution: attempted to leave type `bool` uninitialized, which is invalid
  20 LL | |     };
  21    | |______-
  22    |
  23    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
  24    = note: for more information, see issue #71800 <https://github.com/rust-lang/rust/issues/71800>
  25
  26 error: any use of this value will cause an error
  27   --> $DIR/assert-type-intrinsics.rs:20:9
  28    |
  29 LL | /     const _BAD3: () = unsafe {
  30 LL | |         intrinsics::assert_zero_valid::<&'static i32>();
  31    | |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ aborted execution: attempted to zero-initialize type `&i32`, which is invalid
  32 LL | |     };
  33    | |______-
  34    |
  35    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
  36    = note: for more information, see issue #71800 <https://github.com/rust-lang/rust/issues/71800>
  37
  38 error: aborting due to 3 previous errors
  39