From ab455b92c3c03edf8cbc4faab9c1afb35de3813d Mon Sep 17 00:00:00 2001
From: Stepan Koltsov <stepan.koltsov@jetbrains.com>
Date: Tue, 7 Feb 2012 23:21:58 +0400
Subject: [PATCH] assert class supertype is class

---
 .../jet/lang/descriptors/MutableClassDescriptorLite.java       | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/compiler/frontend/src/org/jetbrains/jet/lang/descriptors/MutableClassDescriptorLite.java b/compiler/frontend/src/org/jetbrains/jet/lang/descriptors/MutableClassDescriptorLite.java
index de433513b11..c7e45fd090e 100644
--- a/compiler/frontend/src/org/jetbrains/jet/lang/descriptors/MutableClassDescriptorLite.java
+++ b/compiler/frontend/src/org/jetbrains/jet/lang/descriptors/MutableClassDescriptorLite.java
@@ -282,6 +282,9 @@ public class MutableClassDescriptorLite extends MutableDeclarationDescriptor imp
 
     public void addSupertype(@NotNull JetType supertype) {
         if (!ErrorUtils.isErrorType(supertype)) {
+            if (!(supertype.getConstructor().getDeclarationDescriptor() instanceof ClassDescriptor)) {
+                throw new IllegalStateException();
+            }
             supertypes.add(supertype);
         }
     }