From 31e859356f654c9b7e4b1b3720306cf1e1597331 Mon Sep 17 00:00:00 2001
From: Andrey Breslav <andrey.breslav@jetbrains.com>
Date: Wed, 23 Apr 2014 18:14:16 +0400
Subject: [PATCH] A test that fails in lazy mode (currently disabled)

---
 .../extensions/extensionMemberInClassObject.kt  | 17 +++++++++++++++++
 .../checkers/JetDiagnosticsTestGenerated.java   |  5 +++++
 2 files changed, 22 insertions(+)
 create mode 100644 compiler/testData/diagnostics/tests/extensions/extensionMemberInClassObject.kt

diff --git a/compiler/testData/diagnostics/tests/extensions/extensionMemberInClassObject.kt b/compiler/testData/diagnostics/tests/extensions/extensionMemberInClassObject.kt
new file mode 100644
index 00000000000..ae0f30a4c04
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/extensions/extensionMemberInClassObject.kt
@@ -0,0 +1,17 @@
+// !DIAGNOSTICS: -UNUSED_PARAMETER
+
+trait JPAEntityClass<D> {
+    fun <T> T.findByName(s: String): D {null!!}
+}
+
+class Foo {
+    class object : JPAEntityClass<Foo>
+}
+
+fun main(args: Array<String>) {
+    <!TYPE_INFERENCE_TYPE_CONSTRUCTOR_MISMATCH!>with<!>("", {
+        Foo.<!MISSING_RECEIVER, TYPE_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>findByName<!>("")
+    })
+}
+
+fun <T> with(t: T, f: T.() -> Unit) {}
\ No newline at end of file
diff --git a/compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java b/compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java
index b0f16148b39..8b9eef77cdd 100644
--- a/compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java
+++ b/compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java
@@ -3065,6 +3065,11 @@ public class JetDiagnosticsTestGenerated extends AbstractJetDiagnosticsTest {
                 doTest("compiler/testData/diagnostics/tests/extensions/ExtensionFunctions.kt");
             }
             
+            @TestMetadata("extensionMemberInClassObject.kt")
+            public void testExtensionMemberInClassObject() throws Exception {
+                doTest("compiler/testData/diagnostics/tests/extensions/extensionMemberInClassObject.kt");
+            }
+            
             @TestMetadata("ExtensionsCalledOnSuper.kt")
             public void testExtensionsCalledOnSuper() throws Exception {
                 doTest("compiler/testData/diagnostics/tests/extensions/ExtensionsCalledOnSuper.kt");