Commits

John McCall committed 66318f5e12e
First round of type-checking for new-expressions: form the appropriate slice type and check the bounds. The first bound must be a literal or a type with a getArrayBoundValue method, which has the same recursive nature as getLogicValue (i.e. it can return a type that has a getArrayBoundValue that returns an integral type, but that's it; it's capped at one hop). The rest of the bounds must be empty (meaning a slice) or constant under the same conditions as fixed-size array types. Swift SVN r1501