Kotlin: Improve java/abstract-to-concrete-cast to handle when branches

2026-05-05 13:45:19 +02:00 · 2022-10-25 10:17:43 +02:00
parent 690d6517d7
commit a0490f454b
2 changed files with 10 additions and 4 deletions
--- a/java/ql/test/kotlin/query-tests/AbstractToConcreteCollection/AbstractToConcreteCollection.expected
+++ b/java/ql/test/kotlin/query-tests/AbstractToConcreteCollection/AbstractToConcreteCollection.expected
@@ -1 +0,0 @@
-| Test.kt:3:9:3:9 | <implicit cast> | $@ is cast to the concrete type $@, losing abstraction. | file:///modules/java.base/java/util/List.class:0:0:0:0 | List | List<Integer> | file:///modules/java.base/java/util/ArrayList.class:0:0:0:0 | ArrayList | ArrayList<Integer> |
				`@@ -1 +0,0 @@`
				`\| Test.kt:3:9:3:9 \| <implicit cast> \| $@ is cast to the concrete type $@, losing abstraction. \| file:///modules/java.base/java/util/List.class:0:0:0:0 \| List \| List<Integer> \| file:///modules/java.base/java/util/ArrayList.class:0:0:0:0 \| ArrayList \| ArrayList<Integer> \|`