Test for KT-716 Type inference failed

2011-12-02 14:39:27 +03:00
parent e2d22b8df1
commit 844c9014a6
1 changed files with 12 additions and 0 deletions
@@ -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>)
+}