[Constraint solver] Collapse the three optional-to-optional restriction kinds.

All three of these conversion restriction kinds were handled in
exactly the same way, so just treat them as one.

Author: DougGregor

lib/Sema/CSApply.cpp

@@ -5528,8 +5528,6 @@ Expr *ExprRewriter::coerceToType(Expr *expr, Type toType,
       return result;
     }
 
-    case ConversionRestrictionKind::OptionalToImplicitlyUnwrappedOptional:
-    case ConversionRestrictionKind::ImplicitlyUnwrappedOptionalToOptional:
     case ConversionRestrictionKind::OptionalToOptional:
       return coerceOptionalToOptional(expr, toType, locator, typeFromPattern);
 

lib/Sema/CSSimplify.cpp

@@ -1209,29 +1209,18 @@ selectOptionalConversionRestriction(Type type1, Type type2,
         kind >= ConstraintKind::Conversion)
       return ConversionRestrictionKind::ForceUnchecked;
 
-    return llvm::None;
+    return None;
   }
 
-  if (optionalKind1 == optionalKind2)
-    return ConversionRestrictionKind::OptionalToOptional;
-
   if (optionalKind1 == OTK_None)
     return ConversionRestrictionKind::ValueToOptional;
 
-  if (optionalKind1 == OTK_Optional) {
-    if (kind >= ConstraintKind::Conversion)
-      return ConversionRestrictionKind::OptionalToImplicitlyUnwrappedOptional;
-
-    assert(optionalKind2 == OTK_ImplicitlyUnwrappedOptional &&
-           "Result has unexpected optional kind!");
-
-    return llvm::None;
-  }
-
-  assert(optionalKind1 == OTK_ImplicitlyUnwrappedOptional &&
-         "Source has unexpected optional kind!");
+  if (optionalKind1 == OTK_Optional &&
+      optionalKind2 == OTK_ImplicitlyUnwrappedOptional &&
+      kind < ConstraintKind::Conversion)
+    return None;
 
-  return ConversionRestrictionKind::ImplicitlyUnwrappedOptionalToOptional;
+  return ConversionRestrictionKind::OptionalToOptional;
 }
 
 
@@ -3795,8 +3784,6 @@ ConstraintSystem::simplifyRestrictedConstraintImpl(
   //   T $< U ===> T! $< U?
   // also:
   //   T <c U ===> T? <c U!
-  case ConversionRestrictionKind::OptionalToImplicitlyUnwrappedOptional:
-  case ConversionRestrictionKind::ImplicitlyUnwrappedOptionalToOptional:
   case ConversionRestrictionKind::OptionalToOptional: {
     addContextualScore();
     assert(matchKind >= ConstraintKind::Subtype);

lib/Sema/CSSolver.cpp

@@ -2199,11 +2199,7 @@ static bool shortCircuitDisjunctionAt(Constraint *constraint,
   if (auto restriction = constraint->getRestriction()) {
     // Non-optional conversions are better than optional-to-optional
     // conversions.
-    if (*restriction == ConversionRestrictionKind::OptionalToOptional ||
-        *restriction
-          == ConversionRestrictionKind::ImplicitlyUnwrappedOptionalToOptional ||
-        *restriction
-          == ConversionRestrictionKind::OptionalToImplicitlyUnwrappedOptional)
+    if (*restriction == ConversionRestrictionKind::OptionalToOptional)
       return true;
 
     // Array-to-pointer conversions are better than inout-to-pointer conversions.

lib/Sema/Constraint.cpp

@@ -364,10 +364,6 @@ StringRef swift::constraints::getName(ConversionRestrictionKind kind) {
     return "[value-to-optional]";
   case ConversionRestrictionKind::OptionalToOptional:
     return "[optional-to-optional]";
-  case ConversionRestrictionKind::ImplicitlyUnwrappedOptionalToOptional:
-    return "[unchecked-optional-to-optional]";
-  case ConversionRestrictionKind::OptionalToImplicitlyUnwrappedOptional:
-    return "[optional-to-unchecked-optional]";
   case ConversionRestrictionKind::ClassMetatypeToAnyObject:
     return "[class-metatype-to-object]";
   case ConversionRestrictionKind::ExistentialMetatypeToAnyObject:

lib/Sema/Constraint.h

@@ -188,10 +188,6 @@ enum class ConversionRestrictionKind {
   ValueToOptional,
   /// T? -> U? optional to optional conversion (or unchecked to unchecked).
   OptionalToOptional,
-  /// T! -> U? unchecked-optional to optional conversion
-  ImplicitlyUnwrappedOptionalToOptional,
-  /// T? -> U! optional to implicitly unwrapped optional conversion
-  OptionalToImplicitlyUnwrappedOptional,
   /// Implicit forces of implicitly unwrapped optionals to their presumed values
   ForceUnchecked,
   /// Implicit upcast conversion of array types.