diff --git a/plugins/kotlin/idea/tests/testData/inspections/dfa/ReifiedGenericK2.kt b/plugins/kotlin/idea/tests/testData/inspections/dfa/ReifiedGenericK2.kt
index 4ce926a359d8..9716324ce0ec 100644
--- a/plugins/kotlin/idea/tests/testData/inspections/dfa/ReifiedGenericK2.kt
+++ b/plugins/kotlin/idea/tests/testData/inspections/dfa/ReifiedGenericK2.kt
@@ -13,8 +13,7 @@ inline fun <reified T: Number> number(t: T) {
     // Cannot say anything
     if (x is T) {}
     x = "hello"
-    // TODO: support 'always false' here
-    if (x is T) {}
+    if (<warning descr="[USELESS_IS_CHECK] Check for instance is always 'false'.">x is T</warning>) {}
 }
 
 // Non-reified
diff --git a/plugins/kotlin/idea/tests/testData/inspections/dfa/TypeTestK2.kt b/plugins/kotlin/idea/tests/testData/inspections/dfa/TypeTestK2.kt
index 93d2866af433..76a73217e673 100644
--- a/plugins/kotlin/idea/tests/testData/inspections/dfa/TypeTestK2.kt
+++ b/plugins/kotlin/idea/tests/testData/inspections/dfa/TypeTestK2.kt
@@ -1,14 +1,13 @@
 // WITH_STDLIB
 fun unrelatedTypes(obj : Any) {
     if (obj is X) {
-        // Difference with K1: no 'USELESS_IS_CHECK' warning, hence we report it, as it's useful
-        if (<warning descr="Condition 'obj is Y' is always false">obj is Y</warning>) { }
-        if (<warning descr="Condition 'obj !is Y' is always true">obj !is Y</warning>) { }
+        if (<warning descr="[USELESS_IS_CHECK] Check for instance is always 'false'.">obj is Y</warning>) { }
+        if (<warning descr="[USELESS_IS_CHECK] Check for instance is always 'true'.">obj !is Y</warning>) { }
     }
 }
 fun nullableTypes(obj : Any?) {
     if (obj is X?) {
-        if (obj is Y?) {
+        if (<warning descr="[USELESS_IS_CHECK] Check for instance is always 'true'.">obj is Y?</warning>) {
             if (<warning descr="Condition 'obj == null' is always true">obj == null</warning>) { }
         }
     }
diff --git a/plugins/kotlin/idea/tests/testData/inspections/dfa/WhenK2.kt b/plugins/kotlin/idea/tests/testData/inspections/dfa/WhenK2.kt
index 8044d6998b1b..47d976b988ce 100644
--- a/plugins/kotlin/idea/tests/testData/inspections/dfa/WhenK2.kt
+++ b/plugins/kotlin/idea/tests/testData/inspections/dfa/WhenK2.kt
@@ -47,8 +47,7 @@ fun whenIs(obj : Any?) {
     }
     if (obj is X) {
         when(obj) {
-            // Difference with K1: no 'USELESS_IS_CHECK' warning, hence we report DFA warning, as it's useful
-            <warning descr="'when' branch is never reachable">is Y</warning> -> {}
+            <warning descr="[USELESS_IS_CHECK] Check for instance is always 'false'.">is Y</warning> -> {}
         }
     }
 }