[ConstraintSystem] Delay binding the type variable representing a wrapped

value type until the PropertyWrapper constraint has been solved.

Author: hborla

lib/Sema/CSBindings.cpp

@@ -1251,7 +1251,6 @@ void PotentialBindings::infer(Constraint *constraint) {
   case ConstraintKind::FunctionInput:
   case ConstraintKind::FunctionResult:
   case ConstraintKind::OpaqueUnderlyingType:
-  case ConstraintKind::PropertyWrapper:
     // Constraints from which we can't do anything.
     break;
 
@@ -1314,7 +1313,8 @@ void PotentialBindings::infer(Constraint *constraint) {
 
   case ConstraintKind::ValueMember:
   case ConstraintKind::UnresolvedValueMember:
-  case ConstraintKind::ValueWitness: {
+  case ConstraintKind::ValueWitness:
+  case ConstraintKind::PropertyWrapper: {
     // If current type variable represents a member type of some reference,
     // it would be bound once member is resolved either to a actual member
     // type or to a hole if member couldn't be found.