1 #![feature(never_type, never_type_fallback)]
2 #![feature(exhaustive_patterns)]
4 #![allow(unreachable_code)]
5 #![deny(unreachable_patterns)]
9 impl Iterator for Void {
12 fn next(&mut self) -> Option<Void> {
18 for _ in unimplemented!() as Void {}
19 //~^ ERROR unreachable pattern