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