From 6b336be10cf4becfb2cdb1e79320f855fe9f9159 Mon Sep 17 00:00:00 2001
From: Michael Bogdanov <mikhael.bogdanov@jetbrains.com>
Date: Tue, 7 Oct 2014 15:51:06 +0400
Subject: [PATCH] Obsolete KT-1776: Can't resolve members of auto-casted "this"
 in extension without typing "this" explicitly

  #KT-1776 Obsolete
---
 .../codegen/box/extensionFunctions/kt1776.kt  | 20 +++++++++++++++++++
 .../BlackBoxCodegenTestGenerated.java         |  6 ++++++
 2 files changed, 26 insertions(+)
 create mode 100644 compiler/testData/codegen/box/extensionFunctions/kt1776.kt

diff --git a/compiler/testData/codegen/box/extensionFunctions/kt1776.kt b/compiler/testData/codegen/box/extensionFunctions/kt1776.kt
new file mode 100644
index 00000000000..2e742d78312
--- /dev/null
+++ b/compiler/testData/codegen/box/extensionFunctions/kt1776.kt
@@ -0,0 +1,20 @@
+trait Expr {
+    public fun ttFun() : Int = 12
+}
+
+class Num(val value : Int) : Expr
+
+fun Expr.sometest() : Int {
+    if (this is Num) {
+        value
+        return value
+    }
+    return 0;
+}
+
+
+fun box() : String {
+    if (Num(11).sometest() != 11) return "fail ${Num(11).sometest()}"
+
+    return "OK"
+}
\ No newline at end of file
diff --git a/compiler/tests/org/jetbrains/jet/codegen/generated/BlackBoxCodegenTestGenerated.java b/compiler/tests/org/jetbrains/jet/codegen/generated/BlackBoxCodegenTestGenerated.java
index 4ae4149b782..3a8b685689d 100644
--- a/compiler/tests/org/jetbrains/jet/codegen/generated/BlackBoxCodegenTestGenerated.java
+++ b/compiler/tests/org/jetbrains/jet/codegen/generated/BlackBoxCodegenTestGenerated.java
@@ -2771,6 +2771,12 @@ public class BlackBoxCodegenTestGenerated extends AbstractBlackBoxCodegenTest {
             doTest(fileName);
         }
         
+        @TestMetadata("kt1776.kt")
+        public void testKt1776() throws Exception {
+            String fileName = JetTestUtils.navigationMetadata("compiler/testData/codegen/box/extensionFunctions/kt1776.kt");
+            doTest(fileName);
+        }
+        
         @TestMetadata("kt1953.kt")
         public void testKt1953() throws Exception {
             String fileName = JetTestUtils.navigationMetadata("compiler/testData/codegen/box/extensionFunctions/kt1953.kt");