Kirill Rakhman
69a7bf7f68
This fixes some cases where we infer some type variable inside one of the branches to Nothing instead of the expected type because Nothing appeared in some other branch. Specifically, we add an equality instead of a subtype constraint during completion of calls to synthetic functions for if/when, try and !!. We don't do it when the call contains a (possibly nested) elvis or is inside the RHS of an assignment. Otherwise, we would prevent some smart-casts. #KT-65882 Fixed
111 lines
1.4 KiB
Kotlin
Vendored
111 lines
1.4 KiB
Kotlin
Vendored
// SKIP_TXT
|
|
|
|
class ExcA : Exception()
|
|
|
|
class ExcB : Exception()
|
|
|
|
fun test2() {
|
|
val s: String? = <!INITIALIZER_TYPE_MISMATCH!>try {
|
|
""
|
|
}
|
|
catch (e: ExcA) {
|
|
null
|
|
}
|
|
catch (e: ExcB) {
|
|
10
|
|
}<!>
|
|
s<!UNSAFE_CALL!>.<!>length
|
|
}
|
|
|
|
fun test3() {
|
|
val s: String? = try {
|
|
""
|
|
}
|
|
catch (e: ExcA) {
|
|
null
|
|
}
|
|
catch (e: ExcB) {
|
|
return
|
|
}
|
|
s<!UNSAFE_CALL!>.<!>length
|
|
}
|
|
|
|
fun test4() {
|
|
val s: String? = try {
|
|
""
|
|
}
|
|
catch (e: ExcA) {
|
|
null
|
|
}
|
|
finally {
|
|
""
|
|
}
|
|
s<!UNSAFE_CALL!>.<!>length
|
|
}
|
|
|
|
fun test5() {
|
|
val s: String? = try {
|
|
""
|
|
}
|
|
catch (e: ExcA) {
|
|
null
|
|
}
|
|
finally {
|
|
return
|
|
}
|
|
s<!UNSAFE_CALL!>.<!>length
|
|
}
|
|
|
|
fun test6() {
|
|
val s: String? = try {
|
|
""
|
|
}
|
|
catch (e: ExcA) {
|
|
return
|
|
}
|
|
catch (e: ExcB) {
|
|
return
|
|
}
|
|
s<!UNSAFE_CALL!>.<!>length
|
|
}
|
|
|
|
fun test7() {
|
|
val s: String? = try {
|
|
""
|
|
}
|
|
catch (e: ExcA) {
|
|
""
|
|
}
|
|
catch (e: ExcB) {
|
|
""
|
|
}
|
|
s<!UNSAFE_CALL!>.<!>length
|
|
}
|
|
|
|
fun test8() {
|
|
val s = try {
|
|
""
|
|
} catch (e: ExcA) {
|
|
null
|
|
}
|
|
s<!UNSAFE_CALL!>.<!>length
|
|
}
|
|
|
|
fun test9() {
|
|
val s = try {
|
|
""
|
|
} catch (e: ExcA) {
|
|
""
|
|
}
|
|
s.length
|
|
}
|
|
|
|
fun test10() {
|
|
val x = try {
|
|
""
|
|
} finally {
|
|
42
|
|
}
|
|
x.length
|
|
}
|