Don't implicitly add dynamic to stored properties

This can introduce an exclusivity check failure.

Author: aschwaighofer

lib/Sema/TypeCheckAttr.cpp

@@ -2464,6 +2464,10 @@ void TypeChecker::addImplicitDynamicAttribute(Decl *D) {
     return;
 
   if (auto *VD = dyn_cast<VarDecl>(D)) {
+    // Don't turn stored into computed properties. This could conflict with
+    // exclusivity checking.
+    if (VD->hasStorage())
+      return;
     // Don't add dynamic to local variables.
     if (VD->getDeclContext()->isLocalContext())
       return;

test/Interpreter/Inputs/dynamic_replacement_module.swift

@@ -66,7 +66,7 @@ public enum PublicEnumeration<Q> {
   }
 }
 #elseif MODULENODYNAMIC
-public var public_global_var = "public_global_var"
+public dynamic var public_global_var = "public_global_var"
 
 public func public_global_func() -> String {
   return "public_global_func"