From 181f4d444d562d36ffdab9a3dc990bab2a8d9a10 Mon Sep 17 00:00:00 2001
From: Alex Tkachman <alex.tkachman@gmail.com>
Date: Tue, 21 Feb 2012 15:45:28 +0200
Subject: [PATCH] fix for broken test

---
 compiler/testData/diagnostics/tests/regressions/kt716.jet | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/compiler/testData/diagnostics/tests/regressions/kt716.jet b/compiler/testData/diagnostics/tests/regressions/kt716.jet
index ec69618ad50..b8739a9cd64 100644
--- a/compiler/testData/diagnostics/tests/regressions/kt716.jet
+++ b/compiler/testData/diagnostics/tests/regressions/kt716.jet
@@ -1,6 +1,10 @@
 // KT-716 Type inference failed
 // +JDK
 
+class TypeInfo<T>
+
+fun <T> typeinfo() : TypeInfo<T> = null <!CAST_NEVER_SUCCEEDS!>as<!> TypeInfo<T>
+
 fun <T> TypeInfo<T>.getJavaClass() : java.lang.Class<T> {
     val t : java.lang.Object = this <!CAST_NEVER_SUCCEEDS!>as<!> java.lang.Object
     return <!UNCHECKED_CAST!>t.getClass() as java.lang.Class<T><!> // inferred type is Object but Serializable was expected