Merge pull request #31002 from hborla/property-wrapper-contextual-type

[Property Wrappers] Use the outermost wrapper attribute type as the contextual type for property wrapper initialization

Author: hborla

lib/Sema/ConstraintSystem.cpp

@@ -4242,6 +4242,7 @@ void SolutionApplicationTarget::maybeApplyPropertyWrapper() {
   // the initializer type later.
   expression.wrappedVar = singleVar;
   expression.expression = backingInitializer;
+  expression.convertType = outermostWrapperAttr->getTypeLoc();
 }
 
 SolutionApplicationTarget SolutionApplicationTarget::forInitialization(

test/Constraints/requirement_failures_in_contextual_type.swift

@@ -19,3 +19,18 @@ let _: A<Int>.C = 0
 // expected-error@-1 {{'A<Int>.C' (aka 'Int') requires the types 'Int' and 'Int32' be equivalent}}
 let _: A<Int>.B.E = 0
 // expected-error@-1 {{'A<Int>.B' requires the types 'Int' and 'Int32' be equivalent}}
+
+
+protocol P {}
+
+@propertyWrapper
+struct Wrapper<T: P> { // expected-note {{where 'T' = 'Int'}}
+  var wrappedValue: T
+}
+
+class C {
+  static let i = 1
+
+  @Wrapper // expected-error{{generic struct 'Wrapper' requires that 'Int' conform to 'P'}}
+  var value = C.i
+}