src/test/ui/issues/issue-12552.rs

   1 // this code used to cause an ICE
   2
   3 fn main() {
   4   let t = Err(0);
   5   match t {
   6     Some(k) => match k { //~ ERROR mismatched types
   7       a => println!("{}", a)
   8     },
   9     None => () //~ ERROR mismatched types
  10   }
  11 }