Also Look Though Class-Bound Protocol Compositions

Author: CodaFi

lib/Sema/TypeCheckNameLookup.cpp

@@ -287,6 +287,13 @@ static void installSemanticMembersIfNeeded(Type type, DeclNameRef name) {
     }
   }
 
+  if (type->isExistentialType()) {
+    auto layout = type->getExistentialLayout();
+    if (auto super = layout.explicitSuperclass) {
+      type = super;
+    }
+  }
+
   if (auto *current = type->getAnyNominal()) {
     current->synthesizeSemanticMembersIfNeeded(name.getFullName());
   }

test/decl/init/Inputs/inherited-init-multifile-other.swift

@@ -2,4 +2,7 @@ class A {
   required init(_ x: Int) {}
 }
 
-class B : A { }
+class B : A {}
+class C : A {}
+
+protocol P {}

test/decl/init/inherited-init-multifile.swift

@@ -4,3 +4,7 @@
 func make<Result: B>(ofClass cls: Result.Type) -> Result {
     return cls.init(1)
 }
+
+func make(ofClass cls: (C & P).Type) -> C {
+    return cls.init(1)
+}