//> using options -nowarn
//
// not a peep out of the pattern matcher's unreachability analysis
// its budget should suffice for these simple matches (they do have a large search space)
class Test {
  import foo.Bar // a large enum
  def exhaustUnreachabilitysStack_ENUM_STYLE = (null: Bar) match {
    case Bar.BULGARIA =>
    case _            =>
  }

  // lots of strings
  def exhaustUnreachabilitysStack_StringStyle = "foo" match {
    case "a"          =>
    case "b"          =>
    case "c"          =>
    case "d"          =>
    case "e"          =>
    case "f"          =>
    case "aa"         =>
    case "ba"         =>
    case "ca"         =>
    case "da"         =>
    case "ea"         =>
    case "f1a"        =>
    case "a1a"        =>
    case "b1a"        =>
    case "c1a"        =>
    case "d1a"        =>
    case "e1a"        =>
    case "f1a2"       =>
    case "f1a0"       =>
    case "a1a2"       =>
    case "b1a2"       =>
    case "c1a2"       =>
    case "d1a2"       =>
    case "e1a2"       =>
    case "f1a3"       =>
    case "_a"         =>
    case "_b"         =>
    case "_c"         =>
    case "_d"         =>
    case "_e"         =>
    case "_f"         =>
    case "_aa"        =>
    case "_ba"        =>
    case "_ca"        =>
    case "_da"        =>
    case "_ea"        =>
    case "_f1a"       =>
    case "_a1a"       =>
    case "_b1a"       =>
    case "_c1a"       =>
    case "_d1a"       =>
    case "_e1a"       =>
    case "_f1a0"      =>
    case "_f1a2"      =>
    case "_a1a2"      =>
    case "_b1a2"      =>
    case "_c1a2"      =>
    case "_d1a2"      =>
    case "_e1a2"      =>
    case "_f1a3"      =>
    case _            =>
  }
}
