Sign in
pigweed
/
third_party
/
github
/
JetBrains
/
kotlin
/
21de67cac1bef9259daa407b68a12e178923aef3
/
.
/
compiler
/
testData
/
codegen
/
box
/
properties
/
kt4373.kt
blob: 41b781f2cfc283662e7a11c71eaf9ffb1c9e039d [
file
]
interface
Tr
<
T
>
{
val prop
:
T
}
class
A
(
a
:
Tr
<
Int
>)
:
Tr
<
Int
>
by
a
fun eat
(
x
:
Int
)
{}
fun box
():
String
{
eat
(
A
(
object
:
Tr
<
Int
>
{
override
val prop
=
42
}).
prop
)
return
"OK"
}