added issue names in tests

compiler/testData/diagnostics/tests/inference/regressions/kt702.kt

@@ -1,3 +1,4 @@
+//KT-702 Type inference failed
 package a
 //+JDK
 

compiler/testData/diagnostics/tests/inference/regressions/kt731.kt

@@ -1,3 +1,4 @@
+//KT-731 Missing error from type inference
 package a
 
 class A<T>(x: T) {

compiler/testData/diagnostics/tests/inference/regressions/kt742.kt

@@ -1,3 +1,4 @@
+//KT-742 Stack overflow in type inference
 package a
 
 class List<T>(val head: T, val tail: List<T>? = null)

compiler/testData/diagnostics/tests/inference/regressions/kt832.kt

@@ -1,3 +1,4 @@
+//KT-832 Provide better diagnostics when type inference fails for an expression that returns a function
 package a
 
 fun fooT2<T>() : (t : T) -> T {

compiler/testData/diagnostics/tests/inference/regressions/kt943.kt

@@ -1,3 +1,4 @@
+//KT-943 Type inference failed
 package maze
 
 //+JDK

compiler/testData/diagnostics/tests/inference/regressions/kt948.kt

@@ -1,3 +1,5 @@
+//KT-948 Make type inference work with sure()/!!
+
 package a
 
 import java.util.*