A test that fails in lazy mode (currently disabled)

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) {}

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");