[ConstraintSystem] Add a new score kind to denote presence of missing conformances

The types with missing conformances are allowed to appear in a
valid solution but such solutions should be ranked lower comparing
to solutions fewer or without them.

Author: xedin

include/swift/Sema/ConstraintSystem.h

@@ -988,8 +988,12 @@ enum ScoreKind: unsigned int {
   /// ambiguity tie-breakers should go after this; anything else
   /// should be added above.
   SK_UnappliedFunction,
+  /// A type with a missing conformance(s) that has be synthesized
+  /// or diagnosed later, such types are allowed to appear in
+  /// a valid solution.
+  SK_MissingSynthesizableConformance,
 
-  SK_LastScoreKind = SK_UnappliedFunction,
+  SK_LastScoreKind = SK_MissingSynthesizableConformance,
 };
 
 /// The number of score kinds.
@@ -1153,6 +1157,9 @@ struct Score {
 
     case SK_UnappliedFunction:
       return "use of overloaded unapplied function";
+
+    case SK_MissingSynthesizableConformance:
+      return "type with missing synthesizable conformance";
     }
   }