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

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