Merge pull request #86097 from xedin/rdar-163562182-6.3

[6.3][DeclChecker] Skip contextualization of initializers associated with …

Author: xedin

lib/Sema/TypeCheckDeclPrimary.cpp

@@ -2692,6 +2692,15 @@ class DeclChecker : public DeclVisitor<DeclChecker> {
       if (!PBD->isInitialized(i))
         continue;
 
+      if (PBD->isInitializerSubsumed(i)) {
+        auto *var = PBD->getSingleVar();
+        // The initializer of a property wrapped variable gets transferred
+        // the synthesized backing storage property, let have it contextualized
+        // there.
+        if (var && var->hasAttachedPropertyWrapper())
+          continue;
+      }
+
       if (!PBD->isInitializerChecked(i)) {
         TypeCheckExprOptions options;
 

validation-test/Sema/type_checker_crashers_fixed/rdar163562182.swift

@@ -0,0 +1,34 @@
+// RUN: %target-typecheck-verify-swift
+
+enum CustomError: Error {
+}
+
+struct ValidationError: Error {
+}
+
+func parseOption(_: String) throws -> Int {
+  42
+}
+
+@propertyWrapper
+public struct Option<Value> {
+  public var wrappedValue: Value
+
+  public init(
+    wrappedValue: Value,
+    transform: @Sendable @escaping (String) throws -> Value
+  ) {
+    self.wrappedValue = wrappedValue
+  }
+}
+
+struct Test {
+  @Option(transform: {
+    do {
+      return try parseOption($0)
+    } catch let error as CustomError {
+      throw ValidationError()
+    }
+  })
+  var prop: Int = 0
+}