| // WITH_STDLIB | |
| // WORKS_WHEN_VALUE_CLASS | |
| // LANGUAGE: +ValueClasses, +GenericInlineClassParameter | |
| OPTIONAL_JVM_INLINE_ANNOTATION | |
| value class Z<T: String>(val s: T) { | |
| val Int.s: Int get() = 42 | |
| } | |
| fun box(): String { | |
| if (Z("a").toString() == "Z(s=a)") | |
| return "OK" | |
| return "Fail" | |
| } |