more tests on type inference

#KT-2200 fixed
 #KT-2283 fixed

compiler/testData/diagnostics/tests/inference/possibleCycleOnConstraints.kt

@@ -0,0 +1,13 @@
+package a
+
+import java.util.*
+
+fun g<T> (<!UNUSED_PARAMETER!>f<!>: () -> List<T>) : T {<!NO_RETURN_IN_FUNCTION_WITH_BLOCK_BODY!>}<!>
+
+fun test() {
+    //here possibly can be a cycle on constraints
+    val <!UNUSED_VARIABLE!>x<!> = g { Collections.<!TYPE_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>emptyList<!>() }
+
+    val <!UNUSED_VARIABLE!>y<!> = g<Int> { Collections.emptyList()!! }
+    val <!UNUSED_VARIABLE!>z<!> : List<Int> = g { Collections.emptyList()!! }
+}