| // RUN: %scale-test --begin 0 --end 25000 --step 1000 --typecheck --select incrementConstraintsPerContractionCounter %s -Xfrontend=-solver-disable-shrink -Xfrontend=-disable-constraint-solver-performance-hacks -Xfrontend=-solver-enable-operator-designated-types | |
| // REQUIRES: OS=macosx | |
| // REQUIRES: asserts | |
| let _: [Int] = [ | |
| %for i in range(0, N): | |
| 1, | |
| %end | |
| 1 | |
| ] |