src/test/mir-opt/exponential-or.rs

   1 // Test that simple or-patterns don't get expanded to exponentially large CFGs
   2
   3 #![feature(or_patterns)]
   4
   5 // EMIT_MIR exponential_or.match_tuple.SimplifyCfg-initial.after.mir
   6 fn match_tuple(x: (u32, bool, Option<i32>, u32)) -> u32 {
   7     match x {
   8         (y @ (1 | 4), true | false, Some(1 | 8) | None, z @ (6..=9 | 13..=16)) => y ^ z,
   9         _ => 0,
  10     }
  11 }
  12
  13 fn main() {}