Merge pull request #27311 from theblixguy/fix/SR-11509

[Typechecker] Perform capture analysis for enums as well

Author: theblixguy

lib/Sema/TypeCheckDecl.cpp

@@ -2587,6 +2587,8 @@ class DeclChecker : public DeclVisitor<DeclChecker> {
 
     checkAccessControl(TC, ED);
 
+    TC.checkPatternBindingCaptures(ED);
+
     if (ED->hasRawType() && !ED->isObjC()) {
       // ObjC enums have already had their raw values checked, but pure Swift
       // enums haven't.

validation-test/compiler_crashers_2_fixed/sr11509.swift

@@ -0,0 +1,22 @@
+// RUN: %target-swift-frontend %s -typecheck -verify
+
+@propertyWrapper
+public struct Wrapper<Value> {
+  public init(someValue unused: Int) {
+    _ = unused
+  }
+  
+  public var wrappedValue: Value?
+}
+
+
+func functionScope() {
+  let scopedValue = 3 // expected-note {{'scopedValue' declared here}}
+  // expected-warning@-1 {{initialization of immutable value 'scopedValue' was never used; consider replacing with assignment to '_' or removing it}}
+  
+  enum StaticScope { // expected-note {{type declared here}}
+    @Wrapper(someValue: scopedValue) static var foo: String? // expected-error {{enum declaration cannot close over value 'scopedValue' defined in outer scope}}
+  }
+  
+  _ = StaticScope.foo
+}