From ac29a020e26df863568bfaaef7377e830d3fe7ab Mon Sep 17 00:00:00 2001
From: Stepan Koltsov <stepan.koltsov@jetbrains.com>
Date: Tue, 13 Dec 2011 17:52:38 +0400
Subject: [PATCH] do not allow mapping of error type to JVM type

---
 .../backend/src/org/jetbrains/jet/codegen/JetTypeMapper.java | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/compiler/backend/src/org/jetbrains/jet/codegen/JetTypeMapper.java b/compiler/backend/src/org/jetbrains/jet/codegen/JetTypeMapper.java
index 7fa09823a80..d98c928f379 100644
--- a/compiler/backend/src/org/jetbrains/jet/codegen/JetTypeMapper.java
+++ b/compiler/backend/src/org/jetbrains/jet/codegen/JetTypeMapper.java
@@ -248,6 +248,11 @@ public class JetTypeMapper {
         }
 
         DeclarationDescriptor descriptor = jetType.getConstructor().getDeclarationDescriptor();
+
+        if (ErrorUtils.isError(descriptor)) {
+            throw new IllegalStateException("should not compile an error type");
+        }
+
         if (standardLibrary.getArray().equals(descriptor)) {
             if (jetType.getArguments().size() != 1) {
                 throw new UnsupportedOperationException("arrays must have one type argument");