warning: any use of this value will cause an error
  --> $DIR/index-out-of-bounds-never-type.rs:10:61
   |
LL |     const VOID: ! = { let x = 0 * std::mem::size_of::<T>(); [][x] };
   |     --------------------------------------------------------^^^^^---
   |                                                             |
   |                                                             index out of bounds: the len is 0 but the index is 0
   |
note: the lint level is defined here
  --> $DIR/index-out-of-bounds-never-type.rs:4:9
   |
LL | #![warn(const_err)]
   |         ^^^^^^^^^

error: erroneous constant encountered
  --> $DIR/index-out-of-bounds-never-type.rs:15:13
   |
LL |     let _ = PrintName::<T>::VOID;
   |             ^^^^^^^^^^^^^^^^^^^^

error: aborting due to previous error; 1 warning emitted