Mute stream api test on Android

2021-01-29 18:09:52 +01:00
parent 21f022dec2
commit 9f9c8e3d77
2 changed files with 8 additions and 0 deletions
@@ -4,6 +4,10 @@
 // SAM_CONVERSIONS: INDY
 // WITH_RUNTIME
 // FULL_JDK
+
+// no stream api on Android
+// IGNORE_BACKEND: ANDROID
+
 import java.util.stream.Collectors

 fun box(): String {
@@ -4,6 +4,10 @@
 // SAM_CONVERSIONS: INDY
 // WITH_RUNTIME
 // FULL_JDK
+
+// no stream api on Android
+// IGNORE_BACKEND: ANDROID
+
 import java.util.stream.*

 fun box(): String {