Merge pull request #67272 from nate-chandler/rdar112152116

[Sema] Allow implicit dynamic @nonobjc.

Author: nate-chandler

lib/Sema/TypeCheckAttr.cpp

@@ -4622,8 +4622,7 @@ TypeChecker::diagnosticIfDeclCannotBeUnavailable(const Decl *D) {
 }
 
 static bool shouldBlockImplicitDynamic(Decl *D) {
-  if (D->getAttrs().hasAttribute<NonObjCAttr>() ||
-      D->getAttrs().hasAttribute<SILGenNameAttr>() ||
+  if (D->getAttrs().hasAttribute<SILGenNameAttr>() ||
       D->getAttrs().hasAttribute<TransparentAttr>() ||
       D->getAttrs().hasAttribute<InlinableAttr>())
     return true;

test/Interpreter/dynamic_replacement_implicit_dynamic_nonobjc.swift

@@ -0,0 +1,26 @@
+// RUN: %target-run-simple-swift(-Xfrontend -enable-implicit-dynamic) | %FileCheck %s
+
+// REQUIRES: executable_test
+// REQUIRES: objc_interop
+
+import Foundation
+
+class C : NSObject {
+  @nonobjc func foo() {
+    print("original")
+  }
+}
+
+extension C {
+  @_dynamicReplacement(for: foo()) @nonobjc private func replacement_for_foo() {
+    print("replacement")
+  }
+}
+
+func doit() {
+  let c = C()
+  c.foo()
+}
+
+// CHECK: replacement
+doit()