Sign in
android
/
platform
/
external
/
jetbrains
/
kotlin
/
refs/tags/v1.4.0-rc
/
.
/
nj2k
/
testData
/
inference
/
common
/
simpleAssignment.kt
blob: 52fa7663de8754c7524f9cc6a74cabd93b4949dc [
file
] [
log
] [
blame
]
fun test
()
{
val x
:
/*T0@*/
Int
=
10
/*LIT*/
val y
:
/*T1@*/
Int
=
x
/*T0@Int*/
val z
:
/*T2@*/
Int
=
y
/*T1@Int*/
}
//LOWER <: T0 due to 'INITIALIZER'
//T0 <: T1 due to 'INITIALIZER'
//T1 <: T2 due to 'INITIALIZER'