Test: Added an example with access to a concrete associated type through Self.

Author: sl

test/type/metatype/metatypes.swift

@@ -27,4 +27,14 @@ protocol P {
 func foo(meta1: P.Protocol, meta2: P.Type) {
   print(meta1.E.self)
   print(meta2.E.self)
+}
+
+protocol P2 {
+  typealias E = Self
+  typealias F = Int
+}
+
+func foo(meta1: P.Protocol, meta2: P.Type) {
+  print(meta1.E.F.self)
+  print(meta2.E.F.self)
 }