From 601f2f0fcf6e50bf7bc7f4f6e21c8e3d9c44701c Mon Sep 17 00:00:00 2001
From: Andrey Breslav <andrey.breslav@jetbrains.com>
Date: Thu, 7 Jun 2012 15:41:48 +0400
Subject: [PATCH] Support comparing the builtins namespace

---
 .../jetbrains/jet/cli/jvm/compiler/NamespaceComparator.java    | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/compiler/tests/org/jetbrains/jet/cli/jvm/compiler/NamespaceComparator.java b/compiler/tests/org/jetbrains/jet/cli/jvm/compiler/NamespaceComparator.java
index 6b6ea8a0e48..42e2979700d 100644
--- a/compiler/tests/org/jetbrains/jet/cli/jvm/compiler/NamespaceComparator.java
+++ b/compiler/tests/org/jetbrains/jet/cli/jvm/compiler/NamespaceComparator.java
@@ -28,6 +28,7 @@ import org.jetbrains.jet.lang.resolve.scopes.receivers.ExtensionReceiver;
 import org.jetbrains.jet.lang.types.JetType;
 import org.jetbrains.jet.lang.types.TypeProjection;
 import org.jetbrains.jet.lang.types.Variance;
+import org.jetbrains.jet.lang.types.lang.JetStandardClasses;
 import org.junit.Assert;
 
 import java.io.BufferedReader;
@@ -513,7 +514,7 @@ public class NamespaceComparator {
                 sb.append(">");
             }
 
-            if (!klass.getTypeConstructor().getSupertypes().isEmpty()) {
+            if (JetStandardClasses.getNothing() != klass && !klass.getTypeConstructor().getSupertypes().isEmpty()) {
                 sb.append(" : ");
                 new TypeSerializer(sb).serializeCommaSeparated(new ArrayList<JetType>(klass.getTypeConstructor().getSupertypes()));
             }