| // WITH_STDLIB | |
| // WORKS_WHEN_VALUE_CLASS | |
| // LANGUAGE: +ValueClasses, +GenericInlineClassParameter | |
| OPTIONAL_JVM_INLINE_ANNOTATION | |
| value class IC<T: String>(val s: T) | |
| interface IFoo<T> { | |
| fun foo(x: T, s: String = "K"): String | |
| } | |
| class FooImpl : IFoo<IC<String>> { | |
| override fun foo(x: IC<String>, s: String): String = x.s + s | |
| } | |
| fun box(): String = FooImpl().foo(IC("O")) |