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
  40 Future incompatibility report: Future breakage diagnostic:
  41 error: any use of this value will cause an error
  42   --> $DIR/assert-type-intrinsics.rs:14:9
  43    |
  44 LL | /     const _BAD1: () = unsafe {
  45 LL | |         MaybeUninit::<!>::uninit().assume_init();
  46    | |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ aborted execution: attempted to instantiate uninhabited type `!`
  47 LL | |     };
  48    | |______-
  49    |
  50    = note: `#[deny(const_err)]` on by default
  51    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
  52    = note: for more information, see issue #71800 <https://github.com/rust-lang/rust/issues/71800>
  53
  54 Future breakage diagnostic:
  55 error: any use of this value will cause an error
  56   --> $DIR/assert-type-intrinsics.rs:17:9
  57    |
  58 LL | /     const _BAD2: () = unsafe {
  59 LL | |         intrinsics::assert_uninit_valid::<bool>();
  60    | |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ aborted execution: attempted to leave type `bool` uninitialized, which is invalid
  61 LL | |     };
  62    | |______-
  63    |
  64    = note: `#[deny(const_err)]` on by default
  65    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
  66    = note: for more information, see issue #71800 <https://github.com/rust-lang/rust/issues/71800>
  67
  68 Future breakage diagnostic:
  69 error: any use of this value will cause an error
  70   --> $DIR/assert-type-intrinsics.rs:20:9
  71    |
  72 LL | /     const _BAD3: () = unsafe {
  73 LL | |         intrinsics::assert_zero_valid::<&'static i32>();
  74    | |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ aborted execution: attempted to zero-initialize type `&i32`, which is invalid
  75 LL | |     };
  76    | |______-
  77    |
  78    = note: `#[deny(const_err)]` on by default
  79    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
  80    = note: for more information, see issue #71800 <https://github.com/rust-lang/rust/issues/71800>
  81