---

yaml
---
r: 349402
b: refs/heads/master-next
c: 97f3c39
h: refs/heads/master

Author: swift-ci

[refs]

@@ -1,6 +1,6 @@
 ---
 refs/heads/master: 3574c513bbc5578dd9346b4ea9ab5995c5927bb5
-refs/heads/master-next: 4aefbcf447d24250c246a9f04d7c31fe32b93a0f
+refs/heads/master-next: 97f3c39c46d969c8dbf21dbdeb3e9e12d5e9cb96
 refs/tags/osx-passed: b6b74147ef8a386f532cf9357a1bde006e552c54
 refs/tags/swift-2.2-SNAPSHOT-2015-12-01-a: 6bb18e013c2284f2b45f5f84f2df2887dc0f7dea
 refs/tags/swift-2.2-SNAPSHOT-2015-12-01-b: 66d897bfcf64a82cb9a87f5e663d889189d06d07

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

@@ -1964,8 +1964,17 @@ void TypeChecker::validateDecl(OperatorDecl *OD) {
 }
 
 bool swift::doesContextHaveValueSemantics(DeclContext *dc) {
-  if (Type contextTy = dc->getDeclaredInterfaceType())
-    return !contextTy->hasReferenceSemantics();
+  if (Type contextTy = dc->getDeclaredInterfaceType()) {
+    // If the decl context is an extension, then it could be imposing a class
+    // constraint (ex: where Self: SomeClass). Make sure we include that
+    // in our check as well.
+    auto extensionRequiresClass = false;
+    if (auto ED = dyn_cast<ExtensionDecl>(dc)) {
+      extensionRequiresClass =
+          ED->getGenericSignature()->requiresClass(ED->getSelfInterfaceType());
+    }
+    return !contextTy->hasReferenceSemantics() && !extensionRequiresClass;
+  }
   return false;
 }
 

branches/master-next/test/decl/ext/extensions.swift

@@ -124,3 +124,23 @@ struct WrapperContext {
     static let propUsingMember = originalValue
   }
 }
+
+// SR-11298
+
+protocol SR_11298_P {}
+
+class SR_11298_C: SR_11298_P {
+  var property: String = ""
+}
+
+// Self: SR_11298_C requirement constrains this extension to SR_11298C and its subclasses.
+// Since this implies a class constraint, the setter should be implicitly nonmutating.
+extension SR_11298_P where Self: SR_11298_C {
+  var wrappingProperty: String {
+    get { return property }
+    set { property = newValue }
+  }
+}
+
+let instance = SR_11298_C()
+instance.wrappingProperty = "" // Okay