import java.util.*

fun use() {
    Optional.empty<String>()
        // SUCCESS
        // ORIGINAL:    fun <T : Any!> empty(): Optional<T & Any> defined in java.util.Optional
        // SUBSTITUTED: fun <T : Any!> empty(): Optional<String> defined in java.util.Optional
    Optional.empty<String?>()
        // SUCCESS
        // ORIGINAL:    fun <T : Any!> empty(): Optional<T & Any> defined in java.util.Optional
        // SUBSTITUTED: fun <T : Any!> empty(): Optional<String> defined in java.util.Optional
}