Re-sugar the types we deduce for type variables.

This makes us deduce types like "[Int]" and "[String : Int]" from
array/dictionary literals, giving a nicer REPL experience.


Swift SVN r19258

lib/Sema/ConstraintSystem.cpp

@@ -666,6 +666,12 @@ Type ConstraintSystem::openBindingType(Type type, DeclContext *dc) {
     }
   }
 
+  if (auto dict = isDictionaryType(type)) {
+    if (auto replacement = getTypeChecker().getDictionaryType(
+                             SourceLoc(), dict->first, dict->second))
+      return replacement;
+  }
+
   return result;
 }