Commits
Doug Gregor committed 80fdfd23586
Check the bounds of new array expressions, even in the constraint-based type checker. At this point, we've modeled the semantics of all of the existing expression kinds within the constraint-based type checker. We still need to deal with default literal types, applying a solution to an expression, and many, many, many improvements in the search strategy. Swift SVN r2812