src/test/ui/pattern/usefulness/type_polymorphic_byte_str_literals.rs

   1 #[deny(unreachable_patterns)]
   2
   3 fn parse_data1(data: &[u8]) -> u32 {
   4     match data {
   5         b"" => 1,
   6         _ => 2,
   7     }
   8 }
   9
  10 fn parse_data2(data: &[u8]) -> u32 {
  11     match data { //~ ERROR non-exhaustive patterns: `&[_, ..]` not covered
  12         b"" => 1,
  13     }
  14 }
  15
  16 fn parse_data3(data: &[u8; 0]) -> u8 {
  17     match data {
  18         b"" => 1,
  19     }
  20 }
  21
  22 fn parse_data4(data: &[u8]) -> u8 {
  23     match data { //~ ERROR non-exhaustive patterns
  24         b"aaa" => 0,
  25         [_, _, _] => 1,
  26     }
  27 }
  28
  29 fn parse_data5(data: &[u8; 3]) -> u8 {
  30     match data {
  31         b"aaa" => 0,
  32         [_, _, _] => 1,
  33     }
  34 }
  35
  36 fn main() {}