[kotlin-dfa] Fix downTo and testdata

GitOrigin-RevId: b5913b63bac70853f647717e5c852b47b1b49757

plugins/kotlin/idea/src/org/jetbrains/kotlin/idea/inspections/dfa/KtControlFlowBuilder.kt

@@ -576,7 +576,7 @@ class KtControlFlowBuilder(val factory: DfaValueFactory, val context: KtExpressi
                 val (leftRelation, rightRelation) = when(ref) {
                     ".." -> RelationType.GE to RelationType.LE
                     "until" -> RelationType.GE to RelationType.LT
-                    "downTo" -> RelationType.LE to RelationType.GT
+                    "downTo" -> RelationType.LE to RelationType.GE
                     else -> null to null
                 }
                 if (leftRelation != null && rightRelation != null) {

plugins/kotlin/idea/tests/testData/inspectionsLocal/dfa/basicFor2.kt

@@ -1,5 +1,6 @@
 // PROBLEM: Condition is always false
 // FIX: none
+// WITH_RUNTIME
 fun test() {
     for(i in 1 until 10) {
         if (<caret>i >= 10) {}

plugins/kotlin/idea/tests/testData/inspectionsLocal/dfa/basicFor6.kt

@@ -1,7 +1,7 @@
 // PROBLEM: 'for' range is always empty
 // FIX: none
 fun test(x: Int, y: Int) {
-    if (y > x) return
+    if (y >= x) return
     for(i in <caret>x..y) {
     }
 }

plugins/kotlin/idea/tests/testData/inspectionsLocal/dfa/whenIn2.kt

@@ -5,6 +5,7 @@ fun test(obj : Int) {
     when (obj) {
         in 0 until 10 -> {}
         <caret>!in 0..9 -> {}
+        20 -> {}
         else -> {}
     }
 }