Skip to content

Commit a3340e8

Browse files
committed
[NFC] Add a test where a contextual type is necessary to resolve an EnumElementPattern
1 parent 792da10 commit a3340e8

File tree

1 file changed

+18
-0
lines changed

1 file changed

+18
-0
lines changed

test/Constraints/enum_cases.swift

Lines changed: 18 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -153,3 +153,21 @@ func rdar_49159472() {
153153
func baz(e: E) {}
154154
}
155155
}
156+
157+
struct EnumElementPatternFromContextualType<T> {
158+
enum E {
159+
case plain
160+
case payload(T)
161+
}
162+
163+
func foo(x: Any) where T == EnumElementPatternFromContextualType<Bool>.E {
164+
switch x {
165+
case T.plain: // Ok
166+
break
167+
case T.payload(true): // Ok
168+
break
169+
default:
170+
break
171+
}
172+
}
173+
}

0 commit comments

Comments
 (0)