tests/ui/match/pattern-deref-miscompile.rs

   1 // run-pass
   2
   3 fn main() {
   4     match b"." as &[u8] {
   5         b"." if true => {},
   6         b"." => panic!(),
   7         b".." => panic!(),
   8         b"" => panic!(),
   9         _ => panic!(),
  10     }
  11     match b"." as &[u8] {
  12         b"." if false => panic!(),
  13         b"." => {},
  14         b".." => panic!(),
  15         b"" => panic!(),
  16         _ => panic!(),
  17     }
  18     match b".." as &[u8] {
  19         b"." if true => panic!(), // the miscompile caused this arm to be reached
  20         b"." => panic!(),
  21         b".." => {},
  22         b"" => panic!(),
  23         _ => panic!(),
  24     }
  25     match b".." as &[u8] {
  26         b"." if false => panic!(),
  27         b"." => panic!(),
  28         b".." => {},
  29         b"" => panic!(),
  30         _ => panic!(),
  31     }
  32     match b"" as &[u8] {
  33         b"." if true => panic!(),
  34         b"." => panic!(),
  35         b".." => panic!(),
  36         b"" => {},
  37         _ => panic!(),
  38     }
  39     match b"" as &[u8] {
  40         b"." if false => panic!(),
  41         b"." => panic!(),
  42         b".." => panic!(),
  43         b"" => {},
  44         _ => panic!(),
  45     }
  46 }