diff --git a/compiler/testData/diagnostics/tests/inference/regressions/kt702.kt b/compiler/testData/diagnostics/tests/inference/regressions/kt702.kt
index e166ac1f352..df7771256b8 100644
--- a/compiler/testData/diagnostics/tests/inference/regressions/kt702.kt
+++ b/compiler/testData/diagnostics/tests/inference/regressions/kt702.kt
@@ -1,3 +1,4 @@
+//KT-702 Type inference failed
 package a
 //+JDK
 
diff --git a/compiler/testData/diagnostics/tests/inference/regressions/kt731.kt b/compiler/testData/diagnostics/tests/inference/regressions/kt731.kt
index a1eca3529c1..70e3b95199b 100644
--- a/compiler/testData/diagnostics/tests/inference/regressions/kt731.kt
+++ b/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) {
diff --git a/compiler/testData/diagnostics/tests/inference/regressions/kt742.kt b/compiler/testData/diagnostics/tests/inference/regressions/kt742.kt
index a0bad3d1016..1e32ffc67a0 100644
--- a/compiler/testData/diagnostics/tests/inference/regressions/kt742.kt
+++ b/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)
diff --git a/compiler/testData/diagnostics/tests/inference/regressions/kt832.kt b/compiler/testData/diagnostics/tests/inference/regressions/kt832.kt
index 4e615b73d2e..ee684dd9d3b 100644
--- a/compiler/testData/diagnostics/tests/inference/regressions/kt832.kt
+++ b/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 {
diff --git a/compiler/testData/diagnostics/tests/inference/regressions/kt943.kt b/compiler/testData/diagnostics/tests/inference/regressions/kt943.kt
index 9508c0a686a..ed0987b815f 100644
--- a/compiler/testData/diagnostics/tests/inference/regressions/kt943.kt
+++ b/compiler/testData/diagnostics/tests/inference/regressions/kt943.kt
@@ -1,3 +1,4 @@
+//KT-943 Type inference failed
 package maze
 
 //+JDK
diff --git a/compiler/testData/diagnostics/tests/inference/regressions/kt948.kt b/compiler/testData/diagnostics/tests/inference/regressions/kt948.kt
index a2ac18fb759..6cd13e611ca 100644
--- a/compiler/testData/diagnostics/tests/inference/regressions/kt948.kt
+++ b/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.*