diff --git a/compiler/testData/diagnostics/tests/callableReference/function/constructorOfNestedClassInObject.fir.kt b/compiler/testData/diagnostics/tests/callableReference/function/constructorOfNestedClassInObject.fir.kt
index 265ae213587..f24edf2d788 100644
--- a/compiler/testData/diagnostics/tests/callableReference/function/constructorOfNestedClassInObject.fir.kt
+++ b/compiler/testData/diagnostics/tests/callableReference/function/constructorOfNestedClassInObject.fir.kt
@@ -1,4 +1,5 @@
 // KT-15951 Callable reference to class constructor from object is not resolved
+// KT-63069
 
 object A {
     class Wrapper
diff --git a/compiler/testData/diagnostics/tests/callableReference/function/constructorOfNestedClassInObject.kt b/compiler/testData/diagnostics/tests/callableReference/function/constructorOfNestedClassInObject.kt
index 60b261d02dd..a8b2983468c 100644
--- a/compiler/testData/diagnostics/tests/callableReference/function/constructorOfNestedClassInObject.kt
+++ b/compiler/testData/diagnostics/tests/callableReference/function/constructorOfNestedClassInObject.kt
@@ -1,4 +1,5 @@
 // KT-15951 Callable reference to class constructor from object is not resolved
+// KT-63069
 
 object A {
     class Wrapper
diff --git a/compiler/testData/diagnostics/tests/dataFlow/smartCastWithLambdaAndCallableReference.fir.kt b/compiler/testData/diagnostics/tests/dataFlow/smartCastWithLambdaAndCallableReference.fir.kt
index abffd1ab05e..541c76256ec 100644
--- a/compiler/testData/diagnostics/tests/dataFlow/smartCastWithLambdaAndCallableReference.fir.kt
+++ b/compiler/testData/diagnostics/tests/dataFlow/smartCastWithLambdaAndCallableReference.fir.kt
@@ -1,3 +1,4 @@
+// ISSUE: KT-56744
 // SKIP_TXT
 
 fun <T> T.myApply(block: T.() -> Unit): T = this
diff --git a/compiler/testData/diagnostics/tests/dataFlow/smartCastWithLambdaAndCallableReference.kt b/compiler/testData/diagnostics/tests/dataFlow/smartCastWithLambdaAndCallableReference.kt
index de11649a84e..c3a88473ec4 100644
--- a/compiler/testData/diagnostics/tests/dataFlow/smartCastWithLambdaAndCallableReference.kt
+++ b/compiler/testData/diagnostics/tests/dataFlow/smartCastWithLambdaAndCallableReference.kt
@@ -1,3 +1,4 @@
+// ISSUE: KT-56744
 // SKIP_TXT
 
 fun <T> T.myApply(block: T.() -> Unit): T = this
diff --git a/compiler/testData/diagnostics/tests/extensions/contextReceivers/labelsFromClassNameForbidden.fir.kt b/compiler/testData/diagnostics/tests/extensions/contextReceivers/labelsFromClassNameForbidden.fir.kt
index 631fe89c87b..095386136a2 100644
--- a/compiler/testData/diagnostics/tests/extensions/contextReceivers/labelsFromClassNameForbidden.fir.kt
+++ b/compiler/testData/diagnostics/tests/extensions/contextReceivers/labelsFromClassNameForbidden.fir.kt
@@ -1,3 +1,4 @@
+// ISSUE: KT-63068
 fun List<Int>.f() {
     this@List.size
 }
diff --git a/compiler/testData/diagnostics/tests/extensions/contextReceivers/labelsFromClassNameForbidden.kt b/compiler/testData/diagnostics/tests/extensions/contextReceivers/labelsFromClassNameForbidden.kt
index 70b15961aff..2249affa010 100644
--- a/compiler/testData/diagnostics/tests/extensions/contextReceivers/labelsFromClassNameForbidden.kt
+++ b/compiler/testData/diagnostics/tests/extensions/contextReceivers/labelsFromClassNameForbidden.kt
@@ -1,3 +1,4 @@
+// ISSUE: KT-63068
 fun List<Int>.f() {
     this<!UNRESOLVED_REFERENCE!>@List<!>.<!DEBUG_INFO_MISSING_UNRESOLVED!>size<!>
 }
diff --git a/compiler/testData/diagnostics/tests/extensions/contextReceivers/noLabelsByClassName.fir.kt b/compiler/testData/diagnostics/tests/extensions/contextReceivers/noLabelsByClassName.fir.kt
index 284bbc54ab0..70e47813822 100644
--- a/compiler/testData/diagnostics/tests/extensions/contextReceivers/noLabelsByClassName.fir.kt
+++ b/compiler/testData/diagnostics/tests/extensions/contextReceivers/noLabelsByClassName.fir.kt
@@ -1,3 +1,4 @@
+// ISSUE: KT-63068
 fun Int.f() {
     this@Int
 }
diff --git a/compiler/testData/diagnostics/tests/extensions/contextReceivers/noLabelsByClassName.kt b/compiler/testData/diagnostics/tests/extensions/contextReceivers/noLabelsByClassName.kt
index f3586fdded4..e348e0eff76 100644
--- a/compiler/testData/diagnostics/tests/extensions/contextReceivers/noLabelsByClassName.kt
+++ b/compiler/testData/diagnostics/tests/extensions/contextReceivers/noLabelsByClassName.kt
@@ -1,3 +1,4 @@
+// ISSUE: KT-63068
 fun Int.f() {
     this<!UNRESOLVED_REFERENCE!>@Int<!>
 }
diff --git a/compiler/testData/diagnostics/tests/inner/selfAnnotationForClassObject.fir.kt b/compiler/testData/diagnostics/tests/inner/selfAnnotationForClassObject.fir.kt
index 825e6eee634..7640f083618 100644
--- a/compiler/testData/diagnostics/tests/inner/selfAnnotationForClassObject.fir.kt
+++ b/compiler/testData/diagnostics/tests/inner/selfAnnotationForClassObject.fir.kt
@@ -1,3 +1,5 @@
+// ISSUE: KT-63063
+
 class Test {
     @ClassObjectAnnotation
     @NestedAnnotation
diff --git a/compiler/testData/diagnostics/tests/inner/selfAnnotationForClassObject.kt b/compiler/testData/diagnostics/tests/inner/selfAnnotationForClassObject.kt
index 653e6181323..4961a8d6762 100644
--- a/compiler/testData/diagnostics/tests/inner/selfAnnotationForClassObject.kt
+++ b/compiler/testData/diagnostics/tests/inner/selfAnnotationForClassObject.kt
@@ -1,3 +1,5 @@
+// ISSUE: KT-63063
+
 class Test {
     @<!UNRESOLVED_REFERENCE!>ClassObjectAnnotation<!>
     @NestedAnnotation
diff --git a/compiler/testData/diagnostics/tests/j+k/flexibleTypeVariablePosition.fir.kt b/compiler/testData/diagnostics/tests/j+k/flexibleTypeVariablePosition.fir.kt
index 97ac9770856..cc27057f80d 100644
--- a/compiler/testData/diagnostics/tests/j+k/flexibleTypeVariablePosition.fir.kt
+++ b/compiler/testData/diagnostics/tests/j+k/flexibleTypeVariablePosition.fir.kt
@@ -1,3 +1,4 @@
+// ISSUE: KT-59138
 // SKIP_TXT
 // FILE: JavaClass.java
 public class JavaClass {
diff --git a/compiler/testData/diagnostics/tests/j+k/flexibleTypeVariablePosition.kt b/compiler/testData/diagnostics/tests/j+k/flexibleTypeVariablePosition.kt
index 5f27344cda4..f2e31dcdb5a 100644
--- a/compiler/testData/diagnostics/tests/j+k/flexibleTypeVariablePosition.kt
+++ b/compiler/testData/diagnostics/tests/j+k/flexibleTypeVariablePosition.kt
@@ -1,3 +1,4 @@
+// ISSUE: KT-59138
 // SKIP_TXT
 // FILE: JavaClass.java
 public class JavaClass {
diff --git a/compiler/testData/diagnostics/tests/javac/qualifiedExpression/visibleClassVsQualifiedClass.fir.kt b/compiler/testData/diagnostics/tests/javac/qualifiedExpression/visibleClassVsQualifiedClass.fir.kt
index 50e8b111c5a..1e24f94d892 100644
--- a/compiler/testData/diagnostics/tests/javac/qualifiedExpression/visibleClassVsQualifiedClass.fir.kt
+++ b/compiler/testData/diagnostics/tests/javac/qualifiedExpression/visibleClassVsQualifiedClass.fir.kt
@@ -1,3 +1,4 @@
+// ISSUE: KT-63070
 // FILE: a/b.java
 package a;
 
diff --git a/compiler/testData/diagnostics/tests/javac/qualifiedExpression/visibleClassVsQualifiedClass.kt b/compiler/testData/diagnostics/tests/javac/qualifiedExpression/visibleClassVsQualifiedClass.kt
index f96c2754485..0f9df9719e5 100644
--- a/compiler/testData/diagnostics/tests/javac/qualifiedExpression/visibleClassVsQualifiedClass.kt
+++ b/compiler/testData/diagnostics/tests/javac/qualifiedExpression/visibleClassVsQualifiedClass.kt
@@ -1,3 +1,4 @@
+// ISSUE: KT-63070
 // FILE: a/b.java
 package a;
 
diff --git a/compiler/testData/diagnostics/tests/multimodule/duplicateClass/inTheSameModuleWithUsageNoTypeAnnotation.fir.kt b/compiler/testData/diagnostics/tests/multimodule/duplicateClass/inTheSameModuleWithUsageNoTypeAnnotation.fir.kt
index 6dbc4b1496d..54be5d9dac4 100644
--- a/compiler/testData/diagnostics/tests/multimodule/duplicateClass/inTheSameModuleWithUsageNoTypeAnnotation.fir.kt
+++ b/compiler/testData/diagnostics/tests/multimodule/duplicateClass/inTheSameModuleWithUsageNoTypeAnnotation.fir.kt
@@ -1,3 +1,4 @@
+// ISSUE: KT-63066
 // MODULE: m1
 // FILE: a.kt
 
diff --git a/compiler/testData/diagnostics/tests/multimodule/duplicateClass/inTheSameModuleWithUsageNoTypeAnnotation.kt b/compiler/testData/diagnostics/tests/multimodule/duplicateClass/inTheSameModuleWithUsageNoTypeAnnotation.kt
index 77d666b823c..1f59a4f06e6 100644
--- a/compiler/testData/diagnostics/tests/multimodule/duplicateClass/inTheSameModuleWithUsageNoTypeAnnotation.kt
+++ b/compiler/testData/diagnostics/tests/multimodule/duplicateClass/inTheSameModuleWithUsageNoTypeAnnotation.kt
@@ -1,3 +1,4 @@
+// ISSUE: KT-63066
 // MODULE: m1
 // FILE: a.kt
 
diff --git a/compiler/testData/diagnostics/tests/multimodule/hiddenClass/sinceKotlinImportPriority.fir.kt b/compiler/testData/diagnostics/tests/multimodule/hiddenClass/sinceKotlinImportPriority.fir.kt
index ea5c8e7eba7..3959c637aa0 100644
--- a/compiler/testData/diagnostics/tests/multimodule/hiddenClass/sinceKotlinImportPriority.fir.kt
+++ b/compiler/testData/diagnostics/tests/multimodule/hiddenClass/sinceKotlinImportPriority.fir.kt
@@ -1,4 +1,5 @@
 // !API_VERSION: 1.0
+// ISSUE: KT-63065
 // MODULE: m1
 // FILE: a.kt
 
diff --git a/compiler/testData/diagnostics/tests/multimodule/hiddenClass/sinceKotlinImportPriority.kt b/compiler/testData/diagnostics/tests/multimodule/hiddenClass/sinceKotlinImportPriority.kt
index f1e897f2cc2..e54ba79d0c8 100644
--- a/compiler/testData/diagnostics/tests/multimodule/hiddenClass/sinceKotlinImportPriority.kt
+++ b/compiler/testData/diagnostics/tests/multimodule/hiddenClass/sinceKotlinImportPriority.kt
@@ -1,4 +1,5 @@
 // !API_VERSION: 1.0
+// ISSUE: KT-63065
 // MODULE: m1
 // FILE: a.kt
 
diff --git a/compiler/testData/diagnostics/tests/smartCasts/castchecks/castInTryWithCatch.fir.kt b/compiler/testData/diagnostics/tests/smartCasts/castchecks/castInTryWithCatch.fir.kt
index 67646bbd21b..23d559fc5b8 100644
--- a/compiler/testData/diagnostics/tests/smartCasts/castchecks/castInTryWithCatch.fir.kt
+++ b/compiler/testData/diagnostics/tests/smartCasts/castchecks/castInTryWithCatch.fir.kt
@@ -1,3 +1,5 @@
+// ISSUE: KT-56744
+
 fun castInTry(s: Any) {
     try {
         s as String // Potential cast exception
diff --git a/compiler/testData/diagnostics/tests/smartCasts/castchecks/castInTryWithCatch.kt b/compiler/testData/diagnostics/tests/smartCasts/castchecks/castInTryWithCatch.kt
index b9741a228cb..05f9ba78192 100644
--- a/compiler/testData/diagnostics/tests/smartCasts/castchecks/castInTryWithCatch.kt
+++ b/compiler/testData/diagnostics/tests/smartCasts/castchecks/castInTryWithCatch.kt
@@ -1,3 +1,5 @@
+// ISSUE: KT-56744
+
 fun castInTry(s: Any) {
     try {
         s as String // Potential cast exception
diff --git a/compiler/testData/diagnostics/tests/smartCasts/castchecks/castInTryWithJump.fir.kt b/compiler/testData/diagnostics/tests/smartCasts/castchecks/castInTryWithJump.fir.kt
index ee39aedd601..d24901e8a7c 100644
--- a/compiler/testData/diagnostics/tests/smartCasts/castchecks/castInTryWithJump.fir.kt
+++ b/compiler/testData/diagnostics/tests/smartCasts/castchecks/castInTryWithJump.fir.kt
@@ -1,3 +1,4 @@
+// ISSUE: KT-56744
 // DUMP_CFG
 
 interface A {
diff --git a/compiler/testData/diagnostics/tests/smartCasts/castchecks/castInTryWithJump.kt b/compiler/testData/diagnostics/tests/smartCasts/castchecks/castInTryWithJump.kt
index 6d02ad46342..b45961f3b85 100644
--- a/compiler/testData/diagnostics/tests/smartCasts/castchecks/castInTryWithJump.kt
+++ b/compiler/testData/diagnostics/tests/smartCasts/castchecks/castInTryWithJump.kt
@@ -1,3 +1,4 @@
+// ISSUE: KT-56744
 // DUMP_CFG
 
 interface A {
diff --git a/compiler/testData/diagnostics/tests/smartCasts/castchecks/castInTryWithoutCatch.fir.kt b/compiler/testData/diagnostics/tests/smartCasts/castchecks/castInTryWithoutCatch.fir.kt
index 40eecaee6df..c098e5af1a3 100644
--- a/compiler/testData/diagnostics/tests/smartCasts/castchecks/castInTryWithoutCatch.fir.kt
+++ b/compiler/testData/diagnostics/tests/smartCasts/castchecks/castInTryWithoutCatch.fir.kt
@@ -1,3 +1,5 @@
+// ISSUE: KT-56744
+
 fun castInTry(s: Any) {
     try {
         s as String // Potential cast exception
diff --git a/compiler/testData/diagnostics/tests/smartCasts/castchecks/castInTryWithoutCatch.kt b/compiler/testData/diagnostics/tests/smartCasts/castchecks/castInTryWithoutCatch.kt
index abcc6575a0b..1d18df7d120 100644
--- a/compiler/testData/diagnostics/tests/smartCasts/castchecks/castInTryWithoutCatch.kt
+++ b/compiler/testData/diagnostics/tests/smartCasts/castchecks/castInTryWithoutCatch.kt
@@ -1,3 +1,5 @@
+// ISSUE: KT-56744
+
 fun castInTry(s: Any) {
     try {
         s as String // Potential cast exception
diff --git a/compiler/testData/diagnostics/tests/smartCasts/castchecks/variables.fir.kt b/compiler/testData/diagnostics/tests/smartCasts/castchecks/variables.fir.kt
index f78576b1f95..f8c3d25df9e 100644
--- a/compiler/testData/diagnostics/tests/smartCasts/castchecks/variables.fir.kt
+++ b/compiler/testData/diagnostics/tests/smartCasts/castchecks/variables.fir.kt
@@ -1,3 +1,4 @@
+// ISSUE: KT-56744
 // !LANGUAGE: +SafeCastCheckBoundSmartCasts
 interface SomeClass {
     val data: Any?
diff --git a/compiler/testData/diagnostics/tests/smartCasts/castchecks/variables.kt b/compiler/testData/diagnostics/tests/smartCasts/castchecks/variables.kt
index e5ffe5cf0cb..e11209b2ec0 100644
--- a/compiler/testData/diagnostics/tests/smartCasts/castchecks/variables.kt
+++ b/compiler/testData/diagnostics/tests/smartCasts/castchecks/variables.kt
@@ -1,3 +1,4 @@
+// ISSUE: KT-56744
 // !LANGUAGE: +SafeCastCheckBoundSmartCasts
 interface SomeClass {
     val data: Any?
diff --git a/compiler/testData/diagnostics/tests/smartCasts/smartcastToInvisibleType_java.fir.kt b/compiler/testData/diagnostics/tests/smartCasts/smartcastToInvisibleType_java.fir.kt
index 1498c9897e6..6bf260bc5d2 100644
--- a/compiler/testData/diagnostics/tests/smartCasts/smartcastToInvisibleType_java.fir.kt
+++ b/compiler/testData/diagnostics/tests/smartCasts/smartcastToInvisibleType_java.fir.kt
@@ -1,4 +1,4 @@
-// ISSUE: KT-44802
+// ISSUES: KT-44802, KT-56744
 // INFERENCE_HELPERS
 
 // FILE: foo/PackagePrivateInterface.java
diff --git a/compiler/testData/diagnostics/tests/smartCasts/smartcastToInvisibleType_java.kt b/compiler/testData/diagnostics/tests/smartCasts/smartcastToInvisibleType_java.kt
index 9182e7ec8d1..b67451555a1 100644
--- a/compiler/testData/diagnostics/tests/smartCasts/smartcastToInvisibleType_java.kt
+++ b/compiler/testData/diagnostics/tests/smartCasts/smartcastToInvisibleType_java.kt
@@ -1,4 +1,4 @@
-// ISSUE: KT-44802
+// ISSUES: KT-44802, KT-56744
 // INFERENCE_HELPERS
 
 // FILE: foo/PackagePrivateInterface.java
diff --git a/compiler/testData/diagnostics/tests/smartCasts/smartcastToInvisibleType_kotlin.fir.kt b/compiler/testData/diagnostics/tests/smartCasts/smartcastToInvisibleType_kotlin.fir.kt
index 4b92aea86fd..27dba36efb5 100644
--- a/compiler/testData/diagnostics/tests/smartCasts/smartcastToInvisibleType_kotlin.fir.kt
+++ b/compiler/testData/diagnostics/tests/smartCasts/smartcastToInvisibleType_kotlin.fir.kt
@@ -1,5 +1,5 @@
 // INFERENCE_HELPERS
-// ISSUE: KT-44802
+// ISSUES: KT-44802, KT-56744
 // FILE: a.kt
 
 package foo
diff --git a/compiler/testData/diagnostics/tests/smartCasts/smartcastToInvisibleType_kotlin.kt b/compiler/testData/diagnostics/tests/smartCasts/smartcastToInvisibleType_kotlin.kt
index 76a61137e66..73e5a783b34 100644
--- a/compiler/testData/diagnostics/tests/smartCasts/smartcastToInvisibleType_kotlin.kt
+++ b/compiler/testData/diagnostics/tests/smartCasts/smartcastToInvisibleType_kotlin.kt
@@ -1,5 +1,5 @@
 // INFERENCE_HELPERS
-// ISSUE: KT-44802
+// ISSUES: KT-44802, KT-56744
 // FILE: a.kt
 
 package foo
diff --git a/compiler/testData/diagnostics/tests/smartCasts/variables/aliasing.fir.kt b/compiler/testData/diagnostics/tests/smartCasts/variables/aliasing.fir.kt
index 83491d976ec..4dfb9b15b07 100644
--- a/compiler/testData/diagnostics/tests/smartCasts/variables/aliasing.fir.kt
+++ b/compiler/testData/diagnostics/tests/smartCasts/variables/aliasing.fir.kt
@@ -1,3 +1,4 @@
+// ISSUE: KT-56744
 // SKIP_TXT
 
 fun test() {
diff --git a/compiler/testData/diagnostics/tests/smartCasts/variables/aliasing.kt b/compiler/testData/diagnostics/tests/smartCasts/variables/aliasing.kt
index e16f3acaa6b..c9ce4f34d92 100644
--- a/compiler/testData/diagnostics/tests/smartCasts/variables/aliasing.kt
+++ b/compiler/testData/diagnostics/tests/smartCasts/variables/aliasing.kt
@@ -1,3 +1,4 @@
+// ISSUE: KT-56744
 // SKIP_TXT
 
 fun test() {
diff --git a/compiler/testData/diagnostics/tests/substitutions/starProjections.fir.kt b/compiler/testData/diagnostics/tests/substitutions/starProjections.fir.kt
index fb8b574fd34..e5175cac879 100644
--- a/compiler/testData/diagnostics/tests/substitutions/starProjections.fir.kt
+++ b/compiler/testData/diagnostics/tests/substitutions/starProjections.fir.kt
@@ -1,3 +1,4 @@
+// ISSUE: KT-63072
 // !CHECK_TYPE
 
 interface A<R, T: A<R, T>> {
diff --git a/compiler/testData/diagnostics/tests/substitutions/starProjections.kt b/compiler/testData/diagnostics/tests/substitutions/starProjections.kt
index 82c094953bc..3a2011ae6ed 100644
--- a/compiler/testData/diagnostics/tests/substitutions/starProjections.kt
+++ b/compiler/testData/diagnostics/tests/substitutions/starProjections.kt
@@ -1,3 +1,4 @@
+// ISSUE: KT-63072
 // !CHECK_TYPE
 
 interface A<R, T: A<R, T>> {
diff --git a/compiler/testData/diagnostics/tests/syntheticExtensions/javaProperties/JavaOverridesKotlin.fir.kt b/compiler/testData/diagnostics/tests/syntheticExtensions/javaProperties/JavaOverridesKotlin.fir.kt
index e1da3da8032..f0bf1c647f0 100644
--- a/compiler/testData/diagnostics/tests/syntheticExtensions/javaProperties/JavaOverridesKotlin.fir.kt
+++ b/compiler/testData/diagnostics/tests/syntheticExtensions/javaProperties/JavaOverridesKotlin.fir.kt
@@ -1,3 +1,4 @@
+// ISSUE: KT-63067
 // FILE: KotlinFile.kt
 open class KotlinClass {
     public open fun getSomething1(): Int = 1
diff --git a/compiler/testData/diagnostics/tests/syntheticExtensions/javaProperties/JavaOverridesKotlin.kt b/compiler/testData/diagnostics/tests/syntheticExtensions/javaProperties/JavaOverridesKotlin.kt
index daf83210de7..7859b96cda1 100644
--- a/compiler/testData/diagnostics/tests/syntheticExtensions/javaProperties/JavaOverridesKotlin.kt
+++ b/compiler/testData/diagnostics/tests/syntheticExtensions/javaProperties/JavaOverridesKotlin.kt
@@ -1,3 +1,4 @@
+// ISSUE: KT-63067
 // FILE: KotlinFile.kt
 open class KotlinClass {
     public open fun getSomething1(): Int = 1
diff --git a/compiler/testData/diagnostics/testsWithJsStdLib/dynamicTypes/block.fir.kt b/compiler/testData/diagnostics/testsWithJsStdLib/dynamicTypes/block.fir.kt
index d65a35ffc89..45ab76c5d7e 100644
--- a/compiler/testData/diagnostics/testsWithJsStdLib/dynamicTypes/block.fir.kt
+++ b/compiler/testData/diagnostics/testsWithJsStdLib/dynamicTypes/block.fir.kt
@@ -1,3 +1,4 @@
+// ISSUE: KT-63071
 // !MARK_DYNAMIC_CALLS
 
 fun test() {
diff --git a/compiler/testData/diagnostics/testsWithJsStdLib/dynamicTypes/block.kt b/compiler/testData/diagnostics/testsWithJsStdLib/dynamicTypes/block.kt
index 1801e2989ea..163069f122b 100644
--- a/compiler/testData/diagnostics/testsWithJsStdLib/dynamicTypes/block.kt
+++ b/compiler/testData/diagnostics/testsWithJsStdLib/dynamicTypes/block.kt
@@ -1,3 +1,4 @@
+// ISSUE: KT-63071
 // !MARK_DYNAMIC_CALLS
 
 fun test() {
diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/fromStdlib/contractWithSubstitution.fir.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/fromStdlib/contractWithSubstitution.fir.kt
index 317d3f2b8c2..2b256a21e45 100644
--- a/compiler/testData/diagnostics/testsWithStdLib/contracts/fromStdlib/contractWithSubstitution.fir.kt
+++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/fromStdlib/contractWithSubstitution.fir.kt
@@ -1,4 +1,4 @@
-// ISSUE: KT-57911
+// ISSUES: KT-57911, KT-56744
 
 import kotlin.contracts.ExperimentalContracts
 import kotlin.contracts.contract
diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/fromStdlib/contractWithSubstitution.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/fromStdlib/contractWithSubstitution.kt
index 5091cca2999..c89a2b35cf8 100644
--- a/compiler/testData/diagnostics/testsWithStdLib/contracts/fromStdlib/contractWithSubstitution.kt
+++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/fromStdlib/contractWithSubstitution.kt
@@ -1,4 +1,4 @@
-// ISSUE: KT-57911
+// ISSUES: KT-57911, KT-56744
 
 import kotlin.contracts.ExperimentalContracts
 import kotlin.contracts.contract
diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/contractsOnMembers.fir.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/contractsOnMembers.fir.kt
index 06dc6fcaa16..b089bec48bd 100644
--- a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/contractsOnMembers.fir.kt
+++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/contractsOnMembers.fir.kt
@@ -1,3 +1,4 @@
+// ISSUE: KT-56744
 // !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect +AllowContractsForNonOverridableMembers
 // !OPT_IN: kotlin.contracts.ExperimentalContracts
 // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER
diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/contractsOnMembers.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/contractsOnMembers.kt
index f5563df584f..db25373c3a7 100644
--- a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/contractsOnMembers.kt
+++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/contractsOnMembers.kt
@@ -1,3 +1,4 @@
+// ISSUE: KT-56744
 // !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect +AllowContractsForNonOverridableMembers
 // !OPT_IN: kotlin.contracts.ExperimentalContracts
 // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER
diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/deeplyNested.fir.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/deeplyNested.fir.kt
index d31758ab1b7..183a2f1c329 100644
--- a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/deeplyNested.fir.kt
+++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/deeplyNested.fir.kt
@@ -1,3 +1,4 @@
+// ISSUE: KT-56744
 // !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect
 // !OPT_IN: kotlin.contracts.ExperimentalContracts
 // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER
diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/deeplyNested.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/deeplyNested.kt
index ae4f2916297..04cdd0f3c1a 100644
--- a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/deeplyNested.kt
+++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/deeplyNested.kt
@@ -1,3 +1,4 @@
+// ISSUE: KT-56744
 // !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect
 // !OPT_IN: kotlin.contracts.ExperimentalContracts
 // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER