src/test/ui/unreachable/unreachable-loop-patterns.rs

   1 // compile-fail
   2
   3 #![feature(never_type)]
   4 #![feature(exhaustive_patterns)]
   5
   6 #![allow(unreachable_code)]
   7 #![deny(unreachable_patterns)]
   8
   9 enum Void {}
  10
  11 impl Iterator for Void {
  12     type Item = Void;
  13
  14     fn next(&mut self) -> Option<Void> {
  15         None
  16     }
  17 }
  18
  19 fn main() {
  20     for _ in unimplemented!() as Void {}
  21     //~^ ERROR unreachable pattern
  22     //~^^ ERROR unreachable pattern
  23 }