swift234

[Type validation] Lock down on the use of unbound generic types.

By default, reject references to generic types that are not
accompanied by explicitly-provided generic arguments. For those few
places where we can infer the generic arguments (such as the element
type of a new-array expression), opt-in to allowing unbound generic
types. We expect to opt-in more callers over time, but it's better to
reject eagerly because inferring the generic arguments always requires
extra code.

Fixes <rdar://problem/14161142>.



Swift SVN r6016