<commit_before>// 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}}

// No errors should appear below as a result of the error above.
var y = 10
var z = 10 + 10

class C {}

var c = C()
var d = c<commit_msg>[Constraint solver] Tweak test based on using a bit more memory for -propagate-constraints.<commit_after>// RUN: %target-typecheck-verify-swift -solver-memory-threshold 10000 -propagate-constraints

var z = 10 + 10 // expected-error{{expression was too complex to be solved in reasonable time; consider breaking up the expression into distinct sub-expressions}}

// No errors should appear below as a result of the error above.
var x = [1, 2, 3, 4.5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18 ,19]
var y = 10

class C {}

var c = C()
var d = c
{'fraction_non_alphanumeric': 0.11770623742454728, 'fraction_numerical': 0.079476861167002, 'mean_word_length': 3.627906976744186, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 4, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '5549261', 'n_tokens_mistral': 397, 'n_tokens_neox': 315, 'n_words': 152}