Sign in
pigweed
/
third_party
/
github
/
JetBrains
/
kotlin
/
ed7ee67e4e1513f9b3ba9587b6d6e950e7a1da7f
/
.
/
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"
}