From 57f5b2cc7d7e302d5cedb0f3b156b05d72b5a2dc Mon Sep 17 00:00:00 2001
From: Pavel Talanov <Pavel.Talanov@jetbrains.com>
Date: Thu, 17 Nov 2011 14:17:17 +0400
Subject: [PATCH] Supported negated is operation.

---
 translator/test/org/jetbrains/k2js/test/RTTITest.java |  5 +++++
 translator/testFiles/rtti/cases/notIsOtherClass.kt    | 11 +++++++++++
 2 files changed, 16 insertions(+)
 create mode 100644 translator/testFiles/rtti/cases/notIsOtherClass.kt

diff --git a/translator/test/org/jetbrains/k2js/test/RTTITest.java b/translator/test/org/jetbrains/k2js/test/RTTITest.java
index 517451f1a69..b6c52390505 100644
--- a/translator/test/org/jetbrains/k2js/test/RTTITest.java
+++ b/translator/test/org/jetbrains/k2js/test/RTTITest.java
@@ -19,4 +19,9 @@ public class RTTITest extends AbstractClassTest {
         testFooBoxIsTrue("isSameClass.kt");
     }
 
+    @Test
+    public void notIsOtherClass() throws Exception {
+        testFooBoxIsTrue("notIsOtherClass.kt");
+    }
+
 }
diff --git a/translator/testFiles/rtti/cases/notIsOtherClass.kt b/translator/testFiles/rtti/cases/notIsOtherClass.kt
new file mode 100644
index 00000000000..9aed1fe8aa9
--- /dev/null
+++ b/translator/testFiles/rtti/cases/notIsOtherClass.kt
@@ -0,0 +1,11 @@
+namespace foo
+
+open class A() {
+
+}
+
+class B() : A() {
+
+}
+
+fun box() = (A() !is B)
\ No newline at end of file