blob: 033fcda3d6c002d2a91bf224fcc3a5a94cbfb65a [file] [log] [blame]
// WITH_STDLIB
// WORKS_WHEN_VALUE_CLASS
// LANGUAGE: +ValueClasses, +GenericInlineClassParameter
@Target(AnnotationTarget.PROPERTY)
annotation class Anno
OPTIONAL_JVM_INLINE_ANNOTATION
value class Z<T: String>(val s: T)
class A {
@Anno
val Z<String>.r: String get() = s
}
fun box(): String {
with(A()) {
return Z("OK").r
}
}