// RUN: %target-typecheck-verify-swift -swift-version 5 -solver-expression-time-threshold=1

func method(_ arg: String, body: () -> [String]) {}

func test(str: String, properties: [String]) {
  // expected-error@+1 {{the compiler is unable to type-check this expression in reasonable time}}
  method(str + "" + str + "") {
    properties.map { param in
      "" + param + "" + param + ""
    } + [""]
  }
}