Mikhail Glukhikh
5723c2a077
Now result type is receiver type for postfix increment, or increment result type for prefix increment. A set of relevant tests.
14 lines
350 B
Kotlin
Vendored
14 lines
350 B
Kotlin
Vendored
class MyClass
|
|
|
|
// In principle it is not correct, MyClass? is not a subtype of MyClass
|
|
fun MyClass.inc(): MyClass? { return null }
|
|
|
|
public fun box() : MyClass? {
|
|
var i : MyClass?
|
|
i = MyClass()
|
|
// type of j can be inferred as MyClass()
|
|
var j = <!DEBUG_INFO_SMARTCAST!>i<!>++
|
|
<!DEBUG_INFO_SMARTCAST!>j<!>.hashCode()
|
|
return i
|
|
}
|