From 844c9014a611c25dd5f3ad729b5f13601f6c3755 Mon Sep 17 00:00:00 2001
From: Andrey Breslav <abreslav@abreslav-mac.labs.intellij.net>
Date: Fri, 2 Dec 2011 14:39:27 +0300
Subject: [PATCH] Test for KT-716 Type inference failed

---
 .../testData/diagnostics/tests/regressions/kt716.jet | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 compiler/testData/diagnostics/tests/regressions/kt716.jet

diff --git a/compiler/testData/diagnostics/tests/regressions/kt716.jet b/compiler/testData/diagnostics/tests/regressions/kt716.jet
new file mode 100644
index 00000000000..1d6c9c09620
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/regressions/kt716.jet
@@ -0,0 +1,12 @@
+// KT-716 Type inference failed
+
+fun <T> typeinfo.TypeInfo<T>.getJavaClass() : java.lang.Class<T> {
+    val t : java.lang.Object = this as java.lang.Object
+    return t.getClass() as java.lang.Class<T> // inferred type is Object but Serializable was expected
+}
+
+fun getJavaClass<T>() = typeinfo.typeinfo<T>.getJavaClass()
+
+fun main(args : Array<String>) {
+    System.out?.println(getJavaClass<String>)
+}
\ No newline at end of file