| // WITH_STDLIB | |
| // WORKS_WHEN_VALUE_CLASS | |
| OPTIONAL_JVM_INLINE_ANNOTATION | |
| value class AsInt<T: Int>(val value: T) { | |
| override fun toString(): String { | |
| return "asInt: ${value.toString()}" | |
| } | |
| } | |
| OPTIONAL_JVM_INLINE_ANNOTATION | |
| value class AsAny<T: Any>(val value: T) { | |
| override fun toString(): String { | |
| return "asAny: ${value.toString()}" | |
| } | |
| } | |
| fun takeAny(a: Any): String = a.toString() | |
| fun getInt(): Int = 10 | |
| fun <T> id(x: T) = x | |
| fun box(): String { | |
| if (takeAny(AsInt(123)) != "asInt: 123") return "fail" | |
| if (takeAny(AsAny(321)) != "asAny: 321") return "fail" | |
| if (takeAny(AsInt(getInt())) != "asInt: 10") return "fail" | |
| if (takeAny(AsInt(id(20))) != "asInt: 20") return "fail" | |
| if (takeAny(AsAny(id(30))) != "asAny: 30") return "fail" | |
| return "OK" | |
| } |