// RUN: %target-typecheck-verify-swift | |
enum E1 { | |
case a1 | |
case b1 | |
case c1 | |
case d1 | |
case e1 | |
case f1 | |
} | |
enum E2 { | |
case a2, b2, c2, d2 | |
} | |
func foo(s: E1, style: E2) { | |
switch (s, style) { | |
case (.a1, .a2), | |
(.a1, .d2), | |
(.c1, .a2), | |
(.c1, .d2), | |
(.c1, .c2), | |
(.a1, .c2): | |
break | |
case (.a1, .b2), | |
(.b1, .b2), | |
(.c1, .b2): | |
break | |
case (.b1, .a2), | |
(.b1, .d2), | |
(.b1, .c2): | |
break | |
case (.e1, .a2), | |
(.e1, .d2), | |
(.e1, .c2): | |
break | |
case (.e1, .b2): | |
break | |
case (.d1, .a2), | |
(.d1, .d2): | |
break | |
case (.d1, .b2): | |
break | |
case (.d1, .c2): | |
break | |
case (.f1, .a2), | |
(.f1, .b2), | |
(.f1, .c2), | |
(.f1, .d2): | |
break | |
} | |
} |