validation-test/Sema/type_checker_perf/fast/rdar22022980.swift - third_party/swift - Git at Google

 // RUN: %target-typecheck-verify-swift -solver-expression-time-threshold=1 -swift-version 5
 // REQUIRES: tools-release,no_asan

 _ = [1, 3, 5, 7, 11].filter{ $0 == 1 || $0 == 3 || $0 == 11 || $0 == 1 || $0 == 3 || $0 == 11 } == [ 1, 3, 11 ]
	// RUN: %target-typecheck-verify-swift -solver-expression-time-threshold=1 -swift-version 5
	// REQUIRES: tools-release,no_asan

	_ = [1, 3, 5, 7, 11].filter{ $0 == 1 \|\| $0 == 3 \|\| $0 == 11 \|\| $0 == 1 \|\| $0 == 3 \|\| $0 == 11 } == [ 1, 3, 11 ]