swift234

Sema: Fix up type-checking of generic types in nominal type patterns.

Allow a generic type to be referred to unbound, and substitute the property types when propagating down to subpatterns.

Swift SVN r9532