From 27e6dad3074261f52b754e5b314b5dbab254739c Mon Sep 17 00:00:00 2001
From: Svetlana Isakova <svetlana.isakova@jetbrains.com>
Date: Thu, 7 Feb 2013 18:09:39 +0400
Subject: [PATCH] test improved

---
 .../useBoundsToInferTypeParamsSimple.kt           | 15 +++++++++++----
 1 file changed, 11 insertions(+), 4 deletions(-)

diff --git a/compiler/testData/diagnostics/tests/inference/upperBounds/useBoundsToInferTypeParamsSimple.kt b/compiler/testData/diagnostics/tests/inference/upperBounds/useBoundsToInferTypeParamsSimple.kt
index 2a92270cfc7..f678821172a 100644
--- a/compiler/testData/diagnostics/tests/inference/upperBounds/useBoundsToInferTypeParamsSimple.kt
+++ b/compiler/testData/diagnostics/tests/inference/upperBounds/useBoundsToInferTypeParamsSimple.kt
@@ -1,15 +1,22 @@
 package a
 
-fun foo<V : U, U>(<!UNUSED_PARAMETER!>v<!>: V, u: U) = u
-fun bar<U, V : U>(<!UNUSED_PARAMETER!>v<!>: V, u: U) = u
+fun foo<V: U, U>(<!UNUSED_PARAMETER!>v<!>: V, u: U) = u
+fun bar<U, V: U>(<!UNUSED_PARAMETER!>v<!>: V, u: U) = u
 
 fun test(a: Any, s: String) {
-    val <!UNUSED_VARIABLE!>b<!>: Any = foo(a, s)
-    val <!UNUSED_VARIABLE!>c<!>: Any = bar(a, s)
+    val b = foo(a, s)
+    checkItIsExactlyAny(a, arrayListOf(b))
+    val c = bar(a, s)
+    checkItIsExactlyAny(a, arrayListOf(c))
 }
 
+fun checkItIsExactlyAny<T>(<!UNUSED_PARAMETER!>t<!>: T, <!UNUSED_PARAMETER!>l<!>: MutableList<T>) {}
+
 fun baz<V : U, U>(<!UNUSED_PARAMETER!>v<!>: V, u: MutableSet<U>) = u
 
 fun test(a: Any, s: MutableSet<String>) {
     <!TYPE_INFERENCE_UPPER_BOUND_VIOLATED!>baz<!>(a, s)
 }
+
+//from standard library
+fun arrayListOf<T>(vararg <!UNUSED_PARAMETER!>t<!>: T): MutableList<T> {<!NO_RETURN_IN_FUNCTION_WITH_BLOCK_BODY!>}<!>
\ No newline at end of file