From c79443564082c67f1e11418c7fe5845e03699976 Mon Sep 17 00:00:00 2001
From: Evgeny Gerashchenko <Evgeny.Gerashchenko@jetbrains.com>
Date: Thu, 3 May 2012 00:43:18 +0400
Subject: [PATCH] When type reference is unresolved, type of expression is
 considered error.

---
 .../frontend/src/org/jetbrains/jet/lang/types/ErrorUtils.java  | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/compiler/frontend/src/org/jetbrains/jet/lang/types/ErrorUtils.java b/compiler/frontend/src/org/jetbrains/jet/lang/types/ErrorUtils.java
index edcbfe55f4c..bbcef8906f7 100644
--- a/compiler/frontend/src/org/jetbrains/jet/lang/types/ErrorUtils.java
+++ b/compiler/frontend/src/org/jetbrains/jet/lang/types/ErrorUtils.java
@@ -239,7 +239,8 @@ public class ErrorUtils {
     public static boolean isErrorType(@NotNull JetType type) {
         return type != TypeUtils.NO_EXPECTED_TYPE && !(type instanceof NamespaceType) &&
                (
-                    (type instanceof DeferredType && ((DeferredType) type).getActualType() == null) ||
+                    (type instanceof DeferredType && (((DeferredType) type).getActualType() == null
+                                                      || isErrorType(((DeferredType) type).getActualType()))) ||
                     type instanceof ErrorTypeImpl ||
                     isError(type.getConstructor())
                );