| import java.util.* | |
| fun use(v: Optional<String>) { | |
| v.get() | |
| // SUCCESS | |
| // ORIGINAL: fun get(): T & Any defined in java.util.Optional | |
| // SUBSTITUTED: fun get(): String defined in java.util.Optional | |
| } | |
| fun use2(v: Optional<String?>) { | |
| v.get() | |
| // SUCCESS | |
| // ORIGINAL: fun get(): T & Any defined in java.util.Optional | |
| // SUBSTITUTED: fun get(): String defined in java.util.Optional | |
| } | |