[TypeChecker] Return correct type when asked to skip applying solution

When type-checker is asked to skip applying deduced solution to expression,
it still needs to use type information for it to return correct result type.

Author: xedin

lib/Sema/TypeCheckConstraints.cpp

@@ -1784,7 +1784,7 @@ Type TypeChecker::typeCheckExpression(Expr *&expr, DeclContext *dc,
 
   if (options.contains(TypeCheckExprFlags::SkipApplyingSolution)) {
     cleanup.disable();
-    return cs.getType(expr);
+    return solution.simplifyType(cs.getType(expr));
   }
 
   // Apply the solution to the expression.