error: unreachable pattern
  --> $DIR/unreachable-loop-patterns.rs:17:9
   |
LL |     for _ in unimplemented!() as Void {}
   |         ^ matches no values because `Void` is uninhabited
   |
   = note: to learn more about uninhabited types, see https://doc.rust-lang.org/nomicon/exotic-sizes.html#empty-types
note: the lint level is defined here
  --> $DIR/unreachable-loop-patterns.rs:4:9
   |
LL | #![deny(unreachable_patterns)]
   |         ^^^^^^^^^^^^^^^^^^^^

error: aborting due to 1 previous error