---

yaml
---
r: 323006
b: refs/heads/tensorflow-next
c: 1c5aece
h: refs/heads/master

Author: swift-ci

[refs]

@@ -1461,4 +1461,4 @@ refs/heads/master-rebranch: 86e95c23aa0d37f24ec138b7853146c1cead2e40
 refs/heads/rdar-53901732: 9bd06af3284e18a109cdbf9aa59d833b24eeca7b
 refs/heads/revert-26776-subst-always-returns-a-type: 1b8e18fdd391903a348970a4c848995d4cdd789c
 refs/heads/tensorflow-merge: 8b854f62f80d4476cb383d43c4aac2001dde3cec
-refs/heads/tensorflow-next: 2c1f5c108e8b233d0f7c842a01645b6dfb3fbdc4
+refs/heads/tensorflow-next: 1c5aece0c5caa776d7e1d0b702250bdf4b66e97f

branches/tensorflow-next/lib/Sema/TypeCheckDecl.cpp

@@ -2958,7 +2958,9 @@ class DeclChecker : public DeclVisitor<DeclChecker> {
         break;
       }
 
-      if (!isInvalidSuperclass && Super->hasMissingVTableEntries()) {
+      if (!isInvalidSuperclass && Super->hasMissingVTableEntries() &&
+          !Super->isResilient(CD->getParentModule(),
+                              ResilienceExpansion::Minimal)) {
         auto *superFile = Super->getModuleScopeContext();
         if (auto *serialized = dyn_cast<SerializedASTFile>(superFile)) {
           if (serialized->getLanguageVersionBuiltWith() !=

branches/tensorflow-next/test/decl/class/override-implementationOnly.swift

@@ -0,0 +1,52 @@
+// RUN: %empty-directory(%t)
+
+// For convenience, this file includes the three different "files" used in this
+// test. It selects one with -DCoreDishwasher, -DDishwasherKit, or neither.
+
+// RUN: %target-swift-frontend -emit-module %s -DCoreDishwasher -module-name CoreDishwasher -o %t/CoreDishwasher -emit-module-path %t/CoreDishwasher.swiftmodule -I %t
+// RUN: %target-swift-frontend -emit-module %s -DDishwasherKit -module-name DishwasherKit -o %t/DishwasherKit -emit-module-path %t/DishwasherKit.swiftmodule -enable-library-evolution -I %t
+// RUN: %target-typecheck-verify-swift -I %t
+
+#if CoreDishwasher
+
+  public struct SpimsterWicket {
+    public init() {}
+  }
+
+#elseif DishwasherKit
+
+  @_implementationOnly import CoreDishwasher
+
+  open class Dishwasher {
+    public init() {}
+    
+    var wicket = SpimsterWicket()
+    
+    open var modelName: String { "Dishwasher" }
+  }
+
+  open class NoUserServiceablePartsInside {
+    public init() {}
+    internal init(wicket: SpimsterWicket) {}
+    public convenience init(inconvenient: ()) {
+      self.init()
+    }
+  }
+
+#else
+
+  import DishwasherKit
+
+  class FancyDishwasher: Dishwasher {
+    override var modelName: String { "Fancy \(super.modelName)" }
+  }
+
+  class VoidedWarranty: NoUserServiceablePartsInside {
+    override init() { super.init() }
+  }
+
+  // FIXME: This diagnostic should be better, but it matches what we're already
+  // doing for disallowed convenience inits.
+  let notAllowed = VoidedWarranty(inconvenient: ()) // expected-error{{argument passed to call that takes no arguments}}
+
+#endif