src/test/ui/pattern/usefulness/issue-12116.rs

   1 #![feature(box_patterns)]
   2 #![feature(box_syntax)]
   3 #![allow(dead_code)]
   4 #![allow(unused_variables)]
   5 #![deny(unreachable_patterns)]
   6
   7 enum IntList {
   8     Cons(isize, Box<IntList>),
   9     Nil
  10 }
  11
  12 fn tail(source_list: &IntList) -> IntList {
  13     match source_list {
  14         &IntList::Cons(val, box ref next_list) => tail(next_list),
  15         &IntList::Cons(val, box IntList::Nil)  => IntList::Cons(val, box IntList::Nil),
  16 //~^ ERROR unreachable pattern
  17         _                          => panic!()
  18     }
  19 }
  20
  21 fn main() {}