Skip to content

Commit 30876a4

Browse files
committed
[TypeChecker] NFC: Mark test-case for rdar://problem/22022980 as "slow"
It used to be "fast" before because `selectDisjunction` used to pick inner `==`s before outer one (which compares arrays) but now, since constraint generation for the closure body is delayed, it looks like the opposite is happening which makes this test-case go exponential.
1 parent 09e4582 commit 30876a4

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

validation-test/Sema/type_checker_perf/fast/rdar22022980.swift renamed to validation-test/Sema/type_checker_perf/slow/rdar22022980.swift

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,3 +2,4 @@
22
// REQUIRES: tools-release,no_asan
33

44
_ = [1, 3, 5, 7, 11].filter{ $0 == 1 || $0 == 3 || $0 == 11 || $0 == 1 || $0 == 3 || $0 == 11 } == [ 1, 3, 11 ]
5+
// expected-error@-1 {{unable to type-check}}

0 commit comments

Comments
 (0)