Commits

Doug Gregor committed 0b42fcdbea7
Type-check construction using DynamicSelf metatype values. Within a DynamicSelf method, we can [*] construct an object of type DynamicSelf by calling an initializer on the metatype value. Type-check and build a reasonable AST for this. This is the rest of <rdar://problem/15862605>, but see the [*] below for it to actually be useful. [*] We're still subject to the restriction that one cannot actually invoke an initializer on a class metatype value that is not statically derived; that's the intent behind "virtual" initializers <rdar://problem/15758600>. Swift SVN r14178