Regarding my own question on keeping top-level fun...

# announcements

[javad]

Regarding my own question on keeping top-level functions in kotlin.collections.Collections.kt, there is a way: we can keep the multifile java class CollectionsKt that holds the functions/methods (https://kotlinlang.org/docs/reference/java-to-kotlin-interop.html) (and as @jw mentioned use the class name without .** wildcard):

-keep class kotlin.collections.CollectionsKt { *; }