Count constraint-solving memory more precisely, rdar://29684330

This commit is contained in:
Graydon Hoare
2017-01-27 01:38:27 -08:00
parent c36b5373b3
commit 9cb1c52fd8
8 changed files with 61 additions and 9 deletions

View File

@@ -1,4 +1,4 @@
// RUN: %target-typecheck-verify-swift -solver-memory-threshold 4000
// RUN: %target-typecheck-verify-swift -solver-memory-threshold 8000
var x = [1, 2, 3, 4.5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18 ,19] // expected-error{{expression was too complex to be solved in reasonable time; consider breaking up the expression into distinct sub-expressions}}