// TODO: Fix platform types fun notNullValues(collection: Collection) { collection.spliterator() // SUCCESS // ORIGINAL: fun spliterator(): Spliterator defined in kotlin.collections.Collection // SUBSTITUTED: fun spliterator(): Spliterator defined in kotlin.collections.Collection } fun nullableValues(collection: Collection) { collection.spliterator() // SUCCESS // ORIGINAL: fun spliterator(): Spliterator defined in kotlin.collections.Collection // SUBSTITUTED: fun spliterator(): Spliterator defined in kotlin.collections.Collection } fun nullableValues2(collection: Collection) { collection.spliterator() // SUCCESS // ORIGINAL: fun spliterator(): Spliterator defined in kotlin.collections.Collection // SUBSTITUTED: fun spliterator(): Spliterator defined in kotlin.collections.Collection }