validation-test/Sema/type_checker_perf/slow/rdar19836070.swift

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

// expected-error@+1 {{the compiler is unable to type-check this expression in reasonable time}}
let _: (Character) -> Bool = { c in
  ("a" <= c && c <= "z") || ("A" <= c && c <= "Z") || c == "_"
}