blob: 1037c13e217ecd04da88f5478a2b123796865bce [file]
// TARGET_BACKEND: JVM
// FULL_JDK
import java.net.*
fun String.decodeURI(encoding : String) : String? =
try {
URLDecoder.decode(this, encoding)
}
catch (e : Throwable) {
null
}
fun box() : String {
return if("hhh".decodeURI("") == null) "OK" else "fail"
}