azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Adjust test data to changed rendering: T!! -> T & Any

Browse Source 
^KT-26245 In Progress
This commit is contained in:
Denis.Zharkov
2021-08-09 14:03:20 +03:00
committed by teamcityserver
parent dc79d8641b
commit 62bef48f9d
87 changed files with 2670 additions and 2669 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/tests-spec/testData/diagnostics/linked/type-system/subtyping/subtyping-for-intersection-types/p-1/pos/1.3.kt
Vendored
+4 -4
View File
@@ -36,7 +36,7 @@ fun <T> case2(x: T) {
checkSubtype<T>(x)
x //NI A2 & B2 & T & T!! OI A2 & B2 & T
<!DEBUG_INFO_EXPRESSION_TYPE("A2 & B2 & T & T!!")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("A2 & B2 & T & T & Any")!>x<!>
}
}
@@ -50,7 +50,7 @@ fun <T> case3a(x: T) {
checkSubtype<A3>(<!DEBUG_INFO_SMARTCAST!>x<!>)
checkSubtype<B3>(<!DEBUG_INFO_SMARTCAST!>x<!>)
checkSubtype<T>(x)
<!DEBUG_INFO_EXPRESSION_TYPE("A3 & B3 & T & T!!")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("A3 & B3 & T & T & Any")!>x<!>
}
}
fun <T: Any> case3b(x: T) {
@@ -70,7 +70,7 @@ fun <T: Any?> case3c(x: T) {
checkSubtype<B3>(<!DEBUG_INFO_SMARTCAST!>x<!>)
checkSubtype<T>(x)
<!DEBUG_INFO_EXPRESSION_TYPE("A3 & B3 & T & T!!")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("A3 & B3 & T & T & Any")!>x<!>
}
}
@@ -127,4 +127,4 @@ interface B6
fun C6?.foo(vararg x: Int) = println("hehe")
class C6 : A6, B6 {}
class C6 : A6, B6 {}
compiler/tests-spec/testData/diagnostics/notLinked/dfa/neg/42.kt
Vendored
+5 -5
View File
@@ -72,8 +72,8 @@ fun case_5(x: Any?) {
*/
fun <T> case_6(x: T) {
if (x is Int || x is Float) {
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!")!>x<!>.<!UNRESOLVED_REFERENCE_WRONG_RECEIVER!>toByte<!>()
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any")!>x<!>.<!UNRESOLVED_REFERENCE_WRONG_RECEIVER!>toByte<!>()
}
}
@@ -147,8 +147,8 @@ fun case_12(x: Any) {
*/
fun <T> case_13(x: T) {
if (x !is Int && x !is Float) throw Exception()
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!")!>x<!>.<!UNRESOLVED_REFERENCE_WRONG_RECEIVER!>toByte<!>()
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any")!>x<!>.<!UNRESOLVED_REFERENCE_WRONG_RECEIVER!>toByte<!>()
}
/*
@@ -165,4 +165,4 @@ fun case_14(x: Any) {
<!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any")!>x<!>.<!UNRESOLVED_REFERENCE_WRONG_RECEIVER!>inv<!>()
}
}
}
}
compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/12.kt
Vendored
+1105 -1105
View File
File diff suppressed because it is too large Load Diff
compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/13.kt
Vendored
+1142 -1142
View File
File diff suppressed because it is too large Load Diff
compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/14.kt
Vendored
+4 -4
View File
@@ -47,15 +47,15 @@ fun <T> case_3(vararg x: T?) {
fun <T : Number?> case_4(vararg x: T?) {
x[0].apply {
if (this != null) {
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?"), DEBUG_INFO_EXPRESSION_TYPE("T?")!>this<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T!!"), DEBUG_INFO_EXPRESSION_TYPE("T?"), DEBUG_INFO_SMARTCAST!>this<!>.toByte()
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?"), DEBUG_INFO_EXPRESSION_TYPE("T?")!>this<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any"), DEBUG_INFO_EXPRESSION_TYPE("T?"), DEBUG_INFO_SMARTCAST!>this<!>.toByte()
}
}
x[0].also {
if (it != null) {
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?")!>it<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?"), DEBUG_INFO_SMARTCAST!>it<!>.toByte()
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?")!>it<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?"), DEBUG_INFO_SMARTCAST!>it<!>.toByte()
}
}
}
compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/16.kt
Vendored
+40 -40
View File
@@ -282,31 +282,31 @@ fun case_20(x: Inv<out Inv<out Inv<out Inv<out Inv<out Inv<out Inv<out Number>>>
// TESTCASE NUMBER: 21
fun <T> case_21(x: T) {
if (x == null) return
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!"), DEBUG_INFO_SMARTCAST!>x<!>.equals(null)
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!"), DEBUG_INFO_SMARTCAST!>x<!>.propT
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!"), DEBUG_INFO_SMARTCAST!>x<!>.propAny
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!")!>x<!>.propNullableT
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!")!>x<!>.propNullableAny
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!"), DEBUG_INFO_SMARTCAST!>x<!>.funT()
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!"), DEBUG_INFO_SMARTCAST!>x<!>.funAny()
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!")!>x<!>.funNullableT()
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!")!>x<!>.funNullableAny()
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any"), DEBUG_INFO_SMARTCAST!>x<!>.equals(null)
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any"), DEBUG_INFO_SMARTCAST!>x<!>.propT
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any"), DEBUG_INFO_SMARTCAST!>x<!>.propAny
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any")!>x<!>.propNullableT
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any")!>x<!>.propNullableAny
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any"), DEBUG_INFO_SMARTCAST!>x<!>.funT()
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any"), DEBUG_INFO_SMARTCAST!>x<!>.funAny()
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any")!>x<!>.funNullableT()
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any")!>x<!>.funNullableAny()
}
// TESTCASE NUMBER: 22
fun <T> case_22(x: T?) {
if (x === null) return
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?"), DEBUG_INFO_SMARTCAST!>x<!>.equals(null)
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?"), DEBUG_INFO_SMARTCAST!>x<!>.propT
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?"), DEBUG_INFO_SMARTCAST!>x<!>.propAny
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?")!>x<!>.propNullableT
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?")!>x<!>.propNullableAny
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?"), DEBUG_INFO_SMARTCAST!>x<!>.funT()
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?"), DEBUG_INFO_SMARTCAST!>x<!>.funAny()
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?")!>x<!>.funNullableT()
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?")!>x<!>.funNullableAny()
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?"), DEBUG_INFO_SMARTCAST!>x<!>.equals(null)
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?"), DEBUG_INFO_SMARTCAST!>x<!>.propT
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?"), DEBUG_INFO_SMARTCAST!>x<!>.propAny
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?")!>x<!>.propNullableT
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?")!>x<!>.propNullableAny
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?"), DEBUG_INFO_SMARTCAST!>x<!>.funT()
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?"), DEBUG_INFO_SMARTCAST!>x<!>.funAny()
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?")!>x<!>.funNullableT()
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?")!>x<!>.funNullableAny()
}
// TESTCASE NUMBER: 23
@@ -669,16 +669,16 @@ fun case_44(x: Inv<out Inv<out Inv<out Inv<out Inv<out Inv<out Inv<out Number>>>
fun <T> case_45(x: T) {
val y = (l@ {
if (x == null) return@l
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!"), DEBUG_INFO_SMARTCAST!>x<!>.equals(null)
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!"), DEBUG_INFO_SMARTCAST!>x<!>.propT
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!"), DEBUG_INFO_SMARTCAST!>x<!>.propAny
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!")!>x<!>.propNullableT
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!")!>x<!>.propNullableAny
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!"), DEBUG_INFO_SMARTCAST!>x<!>.funT()
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!"), DEBUG_INFO_SMARTCAST!>x<!>.funAny()
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!")!>x<!>.funNullableT()
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!")!>x<!>.funNullableAny()
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any"), DEBUG_INFO_SMARTCAST!>x<!>.equals(null)
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any"), DEBUG_INFO_SMARTCAST!>x<!>.propT
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any"), DEBUG_INFO_SMARTCAST!>x<!>.propAny
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any")!>x<!>.propNullableT
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any")!>x<!>.propNullableAny
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any"), DEBUG_INFO_SMARTCAST!>x<!>.funT()
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any"), DEBUG_INFO_SMARTCAST!>x<!>.funAny()
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any")!>x<!>.funNullableT()
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any")!>x<!>.funNullableAny()
})()
}
@@ -686,16 +686,16 @@ fun <T> case_45(x: T) {
fun <T> case_46(x: T?) {
(l@ {
if (x === null) return@l
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?"), DEBUG_INFO_SMARTCAST!>x<!>.equals(null)
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?"), DEBUG_INFO_SMARTCAST!>x<!>.propT
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?"), DEBUG_INFO_SMARTCAST!>x<!>.propAny
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?")!>x<!>.propNullableT
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?")!>x<!>.propNullableAny
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?"), DEBUG_INFO_SMARTCAST!>x<!>.funT()
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?"), DEBUG_INFO_SMARTCAST!>x<!>.funAny()
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?")!>x<!>.funNullableT()
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?")!>x<!>.funNullableAny()
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?"), DEBUG_INFO_SMARTCAST!>x<!>.equals(null)
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?"), DEBUG_INFO_SMARTCAST!>x<!>.propT
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?"), DEBUG_INFO_SMARTCAST!>x<!>.propAny
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?")!>x<!>.propNullableT
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?")!>x<!>.propNullableAny
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?"), DEBUG_INFO_SMARTCAST!>x<!>.funT()
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?"), DEBUG_INFO_SMARTCAST!>x<!>.funAny()
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?")!>x<!>.funNullableT()
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?")!>x<!>.funNullableAny()
})()
}
compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/17.kt
Vendored
+20 -20
View File
@@ -281,31 +281,31 @@ fun case_20(x: Inv<out Inv<out Inv<out Inv<out Inv<out Inv<out Inv<out Number>>>
// TESTCASE NUMBER: 21
fun <T> case_21(x: T) {
if (x == null) throw Exception()
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!"), DEBUG_INFO_SMARTCAST!>x<!>.equals(null)
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!"), DEBUG_INFO_SMARTCAST!>x<!>.propT
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!"), DEBUG_INFO_SMARTCAST!>x<!>.propAny
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!")!>x<!>.propNullableT
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!")!>x<!>.propNullableAny
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!"), DEBUG_INFO_SMARTCAST!>x<!>.funT()
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!"), DEBUG_INFO_SMARTCAST!>x<!>.funAny()
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!")!>x<!>.funNullableT()
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!")!>x<!>.funNullableAny()
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any"), DEBUG_INFO_SMARTCAST!>x<!>.equals(null)
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any"), DEBUG_INFO_SMARTCAST!>x<!>.propT
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any"), DEBUG_INFO_SMARTCAST!>x<!>.propAny
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any")!>x<!>.propNullableT
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any")!>x<!>.propNullableAny
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any"), DEBUG_INFO_SMARTCAST!>x<!>.funT()
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any"), DEBUG_INFO_SMARTCAST!>x<!>.funAny()
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any")!>x<!>.funNullableT()
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any")!>x<!>.funNullableAny()
}
// TESTCASE NUMBER: 22
fun <T> case_22(x: T?) {
if (x === null) throw Exception()
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?"), DEBUG_INFO_SMARTCAST!>x<!>.equals(null)
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?"), DEBUG_INFO_SMARTCAST!>x<!>.propT
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?"), DEBUG_INFO_SMARTCAST!>x<!>.propAny
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?")!>x<!>.propNullableT
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?")!>x<!>.propNullableAny
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?"), DEBUG_INFO_SMARTCAST!>x<!>.funT()
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?"), DEBUG_INFO_SMARTCAST!>x<!>.funAny()
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?")!>x<!>.funNullableT()
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?")!>x<!>.funNullableAny()
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?"), DEBUG_INFO_SMARTCAST!>x<!>.equals(null)
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?"), DEBUG_INFO_SMARTCAST!>x<!>.propT
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?"), DEBUG_INFO_SMARTCAST!>x<!>.propAny
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?")!>x<!>.propNullableT
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?")!>x<!>.propNullableAny
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?"), DEBUG_INFO_SMARTCAST!>x<!>.funT()
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?"), DEBUG_INFO_SMARTCAST!>x<!>.funAny()
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?")!>x<!>.funNullableT()
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?")!>x<!>.funNullableAny()
}
// TESTCASE NUMBER: 23
compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/18.kt
Vendored
+80 -80
View File
@@ -235,16 +235,16 @@ fun case_16(map: Map<Int?, Int?>) {
fun <T>case_17(x: T?, f: Boolean) {
while (f) {
if (x === <!DEBUG_INFO_CONSTANT!>implicitNullableNothingProperty<!> || false) { break }
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?"), DEBUG_INFO_SMARTCAST!>x<!>.equals(null)
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?"), DEBUG_INFO_SMARTCAST!>x<!>.propT
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?"), DEBUG_INFO_SMARTCAST!>x<!>.propAny
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?")!>x<!>.propNullableT
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?")!>x<!>.propNullableAny
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?"), DEBUG_INFO_SMARTCAST!>x<!>.funT()
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?"), DEBUG_INFO_SMARTCAST!>x<!>.funAny()
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?")!>x<!>.funNullableT()
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?")!>x<!>.funNullableAny()
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?"), DEBUG_INFO_SMARTCAST!>x<!>.equals(null)
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?"), DEBUG_INFO_SMARTCAST!>x<!>.propT
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?"), DEBUG_INFO_SMARTCAST!>x<!>.propAny
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?")!>x<!>.propNullableT
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?")!>x<!>.propNullableAny
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?"), DEBUG_INFO_SMARTCAST!>x<!>.funT()
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?"), DEBUG_INFO_SMARTCAST!>x<!>.funAny()
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?")!>x<!>.funNullableT()
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?")!>x<!>.funNullableAny()
}
}
@@ -252,16 +252,16 @@ fun <T>case_17(x: T?, f: Boolean) {
fun <T>case_18(x: T, f: Boolean) {
while (f) {
if (false || false || false || x == <!DEBUG_INFO_CONSTANT!>nullableNothingProperty<!>) break
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!"), DEBUG_INFO_SMARTCAST!>x<!>.equals(null)
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!"), DEBUG_INFO_SMARTCAST!>x<!>.propT
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!"), DEBUG_INFO_SMARTCAST!>x<!>.propAny
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!")!>x<!>.propNullableT
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!")!>x<!>.propNullableAny
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!"), DEBUG_INFO_SMARTCAST!>x<!>.funT()
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!"), DEBUG_INFO_SMARTCAST!>x<!>.funAny()
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!")!>x<!>.funNullableT()
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!")!>x<!>.funNullableAny()
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any"), DEBUG_INFO_SMARTCAST!>x<!>.equals(null)
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any"), DEBUG_INFO_SMARTCAST!>x<!>.propT
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any"), DEBUG_INFO_SMARTCAST!>x<!>.propAny
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any")!>x<!>.propNullableT
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any")!>x<!>.propNullableAny
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any"), DEBUG_INFO_SMARTCAST!>x<!>.funT()
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any"), DEBUG_INFO_SMARTCAST!>x<!>.funAny()
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any")!>x<!>.funNullableT()
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any")!>x<!>.funNullableAny()
}
}
@@ -269,26 +269,26 @@ fun <T>case_18(x: T, f: Boolean) {
fun <K, V>case_19(map: MutableMap<K, V>, y: Nothing?) {
for ((k, v) in map) {
if (k !== <!DEBUG_INFO_CONSTANT!>implicitNullableNothingProperty<!> && true && v != <!DEBUG_INFO_CONSTANT!>y<!>) else { break }
<!DEBUG_INFO_EXPRESSION_TYPE("K & K!!")!>k<!>
<!DEBUG_INFO_EXPRESSION_TYPE("K & K!!"), DEBUG_INFO_SMARTCAST!>k<!>.equals(null)
<!DEBUG_INFO_EXPRESSION_TYPE("K & K!!"), DEBUG_INFO_SMARTCAST!>k<!>.propT
<!DEBUG_INFO_EXPRESSION_TYPE("K & K!!"), DEBUG_INFO_SMARTCAST!>k<!>.propAny
<!DEBUG_INFO_EXPRESSION_TYPE("K & K!!")!>k<!>.propNullableT
<!DEBUG_INFO_EXPRESSION_TYPE("K & K!!")!>k<!>.propNullableAny
<!DEBUG_INFO_EXPRESSION_TYPE("K & K!!"), DEBUG_INFO_SMARTCAST!>k<!>.funT()
<!DEBUG_INFO_EXPRESSION_TYPE("K & K!!"), DEBUG_INFO_SMARTCAST!>k<!>.funAny()
<!DEBUG_INFO_EXPRESSION_TYPE("K & K!!")!>k<!>.funNullableT()
<!DEBUG_INFO_EXPRESSION_TYPE("K & K!!")!>k<!>.funNullableAny()
<!DEBUG_INFO_EXPRESSION_TYPE("V & V!!")!>v<!>
<!DEBUG_INFO_EXPRESSION_TYPE("V & V!!"), DEBUG_INFO_SMARTCAST!>v<!>.equals(null)
<!DEBUG_INFO_EXPRESSION_TYPE("V & V!!"), DEBUG_INFO_SMARTCAST!>v<!>.propT
<!DEBUG_INFO_EXPRESSION_TYPE("V & V!!"), DEBUG_INFO_SMARTCAST!>v<!>.propAny
<!DEBUG_INFO_EXPRESSION_TYPE("V & V!!")!>v<!>.propNullableT
<!DEBUG_INFO_EXPRESSION_TYPE("V & V!!")!>v<!>.propNullableAny
<!DEBUG_INFO_EXPRESSION_TYPE("V & V!!"), DEBUG_INFO_SMARTCAST!>v<!>.funT()
<!DEBUG_INFO_EXPRESSION_TYPE("V & V!!"), DEBUG_INFO_SMARTCAST!>v<!>.funAny()
<!DEBUG_INFO_EXPRESSION_TYPE("V & V!!")!>v<!>.funNullableT()
<!DEBUG_INFO_EXPRESSION_TYPE("V & V!!")!>v<!>.funNullableAny()
<!DEBUG_INFO_EXPRESSION_TYPE("K & K & Any")!>k<!>
<!DEBUG_INFO_EXPRESSION_TYPE("K & K & Any"), DEBUG_INFO_SMARTCAST!>k<!>.equals(null)
<!DEBUG_INFO_EXPRESSION_TYPE("K & K & Any"), DEBUG_INFO_SMARTCAST!>k<!>.propT
<!DEBUG_INFO_EXPRESSION_TYPE("K & K & Any"), DEBUG_INFO_SMARTCAST!>k<!>.propAny
<!DEBUG_INFO_EXPRESSION_TYPE("K & K & Any")!>k<!>.propNullableT
<!DEBUG_INFO_EXPRESSION_TYPE("K & K & Any")!>k<!>.propNullableAny
<!DEBUG_INFO_EXPRESSION_TYPE("K & K & Any"), DEBUG_INFO_SMARTCAST!>k<!>.funT()
<!DEBUG_INFO_EXPRESSION_TYPE("K & K & Any"), DEBUG_INFO_SMARTCAST!>k<!>.funAny()
<!DEBUG_INFO_EXPRESSION_TYPE("K & K & Any")!>k<!>.funNullableT()
<!DEBUG_INFO_EXPRESSION_TYPE("K & K & Any")!>k<!>.funNullableAny()
<!DEBUG_INFO_EXPRESSION_TYPE("V & V & Any")!>v<!>
<!DEBUG_INFO_EXPRESSION_TYPE("V & V & Any"), DEBUG_INFO_SMARTCAST!>v<!>.equals(null)
<!DEBUG_INFO_EXPRESSION_TYPE("V & V & Any"), DEBUG_INFO_SMARTCAST!>v<!>.propT
<!DEBUG_INFO_EXPRESSION_TYPE("V & V & Any"), DEBUG_INFO_SMARTCAST!>v<!>.propAny
<!DEBUG_INFO_EXPRESSION_TYPE("V & V & Any")!>v<!>.propNullableT
<!DEBUG_INFO_EXPRESSION_TYPE("V & V & Any")!>v<!>.propNullableAny
<!DEBUG_INFO_EXPRESSION_TYPE("V & V & Any"), DEBUG_INFO_SMARTCAST!>v<!>.funT()
<!DEBUG_INFO_EXPRESSION_TYPE("V & V & Any"), DEBUG_INFO_SMARTCAST!>v<!>.funAny()
<!DEBUG_INFO_EXPRESSION_TYPE("V & V & Any")!>v<!>.funNullableT()
<!DEBUG_INFO_EXPRESSION_TYPE("V & V & Any")!>v<!>.funNullableAny()
}
}
@@ -296,26 +296,26 @@ fun <K, V>case_19(map: MutableMap<K, V>, y: Nothing?) {
fun <K, V: K>case_20(map: MutableMap<K?, V>) {
for ((k, v) in map) {
if (true && true && true && k !== null && v != null && true) else continue
<!DEBUG_INFO_EXPRESSION_TYPE("K!! & K?")!>k<!>
<!DEBUG_INFO_EXPRESSION_TYPE("K!! & K?"), DEBUG_INFO_SMARTCAST!>k<!>.equals(null)
<!DEBUG_INFO_EXPRESSION_TYPE("K!! & K?"), DEBUG_INFO_SMARTCAST!>k<!>.propT
<!DEBUG_INFO_EXPRESSION_TYPE("K!! & K?"), DEBUG_INFO_SMARTCAST!>k<!>.propAny
<!DEBUG_INFO_EXPRESSION_TYPE("K!! & K?")!>k<!>.propNullableT
<!DEBUG_INFO_EXPRESSION_TYPE("K!! & K?")!>k<!>.propNullableAny
<!DEBUG_INFO_EXPRESSION_TYPE("K!! & K?"), DEBUG_INFO_SMARTCAST!>k<!>.funT()
<!DEBUG_INFO_EXPRESSION_TYPE("K!! & K?"), DEBUG_INFO_SMARTCAST!>k<!>.funAny()
<!DEBUG_INFO_EXPRESSION_TYPE("K!! & K?")!>k<!>.funNullableT()
<!DEBUG_INFO_EXPRESSION_TYPE("K!! & K?")!>k<!>.funNullableAny()
<!DEBUG_INFO_EXPRESSION_TYPE("V & V!!")!>v<!>
<!DEBUG_INFO_EXPRESSION_TYPE("V & V!!"), DEBUG_INFO_SMARTCAST!>v<!>.equals(null)
<!DEBUG_INFO_EXPRESSION_TYPE("V & V!!"), DEBUG_INFO_SMARTCAST!>v<!>.propT
<!DEBUG_INFO_EXPRESSION_TYPE("V & V!!"), DEBUG_INFO_SMARTCAST!>v<!>.propAny
<!DEBUG_INFO_EXPRESSION_TYPE("V & V!!")!>v<!>.propNullableT
<!DEBUG_INFO_EXPRESSION_TYPE("V & V!!")!>v<!>.propNullableAny
<!DEBUG_INFO_EXPRESSION_TYPE("V & V!!"), DEBUG_INFO_SMARTCAST!>v<!>.funT()
<!DEBUG_INFO_EXPRESSION_TYPE("V & V!!"), DEBUG_INFO_SMARTCAST!>v<!>.funAny()
<!DEBUG_INFO_EXPRESSION_TYPE("V & V!!")!>v<!>.funNullableT()
<!DEBUG_INFO_EXPRESSION_TYPE("V & V!!")!>v<!>.funNullableAny()
<!DEBUG_INFO_EXPRESSION_TYPE("K & Any & K?")!>k<!>
<!DEBUG_INFO_EXPRESSION_TYPE("K & Any & K?"), DEBUG_INFO_SMARTCAST!>k<!>.equals(null)
<!DEBUG_INFO_EXPRESSION_TYPE("K & Any & K?"), DEBUG_INFO_SMARTCAST!>k<!>.propT
<!DEBUG_INFO_EXPRESSION_TYPE("K & Any & K?"), DEBUG_INFO_SMARTCAST!>k<!>.propAny
<!DEBUG_INFO_EXPRESSION_TYPE("K & Any & K?")!>k<!>.propNullableT
<!DEBUG_INFO_EXPRESSION_TYPE("K & Any & K?")!>k<!>.propNullableAny
<!DEBUG_INFO_EXPRESSION_TYPE("K & Any & K?"), DEBUG_INFO_SMARTCAST!>k<!>.funT()
<!DEBUG_INFO_EXPRESSION_TYPE("K & Any & K?"), DEBUG_INFO_SMARTCAST!>k<!>.funAny()
<!DEBUG_INFO_EXPRESSION_TYPE("K & Any & K?")!>k<!>.funNullableT()
<!DEBUG_INFO_EXPRESSION_TYPE("K & Any & K?")!>k<!>.funNullableAny()
<!DEBUG_INFO_EXPRESSION_TYPE("V & V & Any")!>v<!>
<!DEBUG_INFO_EXPRESSION_TYPE("V & V & Any"), DEBUG_INFO_SMARTCAST!>v<!>.equals(null)
<!DEBUG_INFO_EXPRESSION_TYPE("V & V & Any"), DEBUG_INFO_SMARTCAST!>v<!>.propT
<!DEBUG_INFO_EXPRESSION_TYPE("V & V & Any"), DEBUG_INFO_SMARTCAST!>v<!>.propAny
<!DEBUG_INFO_EXPRESSION_TYPE("V & V & Any")!>v<!>.propNullableT
<!DEBUG_INFO_EXPRESSION_TYPE("V & V & Any")!>v<!>.propNullableAny
<!DEBUG_INFO_EXPRESSION_TYPE("V & V & Any"), DEBUG_INFO_SMARTCAST!>v<!>.funT()
<!DEBUG_INFO_EXPRESSION_TYPE("V & V & Any"), DEBUG_INFO_SMARTCAST!>v<!>.funAny()
<!DEBUG_INFO_EXPRESSION_TYPE("V & V & Any")!>v<!>.funNullableT()
<!DEBUG_INFO_EXPRESSION_TYPE("V & V & Any")!>v<!>.funNullableAny()
}
}
@@ -324,16 +324,16 @@ fun <K, V>case_21(map: MutableMap<out K?, in V>) {
for ((k, v) in map) {
if (k == null) continue
if (v === null || false) break
<!DEBUG_INFO_EXPRESSION_TYPE("K!! & K?")!>k<!>
<!DEBUG_INFO_EXPRESSION_TYPE("K!! & K?"), DEBUG_INFO_SMARTCAST!>k<!>.equals(null)
<!DEBUG_INFO_EXPRESSION_TYPE("K!! & K?"), DEBUG_INFO_SMARTCAST!>k<!>.propT
<!DEBUG_INFO_EXPRESSION_TYPE("K!! & K?"), DEBUG_INFO_SMARTCAST!>k<!>.propAny
<!DEBUG_INFO_EXPRESSION_TYPE("K!! & K?")!>k<!>.propNullableT
<!DEBUG_INFO_EXPRESSION_TYPE("K!! & K?")!>k<!>.propNullableAny
<!DEBUG_INFO_EXPRESSION_TYPE("K!! & K?"), DEBUG_INFO_SMARTCAST!>k<!>.funT()
<!DEBUG_INFO_EXPRESSION_TYPE("K!! & K?"), DEBUG_INFO_SMARTCAST!>k<!>.funAny()
<!DEBUG_INFO_EXPRESSION_TYPE("K!! & K?")!>k<!>.funNullableT()
<!DEBUG_INFO_EXPRESSION_TYPE("K!! & K?")!>k<!>.funNullableAny()
<!DEBUG_INFO_EXPRESSION_TYPE("K & Any & K?")!>k<!>
<!DEBUG_INFO_EXPRESSION_TYPE("K & Any & K?"), DEBUG_INFO_SMARTCAST!>k<!>.equals(null)
<!DEBUG_INFO_EXPRESSION_TYPE("K & Any & K?"), DEBUG_INFO_SMARTCAST!>k<!>.propT
<!DEBUG_INFO_EXPRESSION_TYPE("K & Any & K?"), DEBUG_INFO_SMARTCAST!>k<!>.propAny
<!DEBUG_INFO_EXPRESSION_TYPE("K & Any & K?")!>k<!>.propNullableT
<!DEBUG_INFO_EXPRESSION_TYPE("K & Any & K?")!>k<!>.propNullableAny
<!DEBUG_INFO_EXPRESSION_TYPE("K & Any & K?"), DEBUG_INFO_SMARTCAST!>k<!>.funT()
<!DEBUG_INFO_EXPRESSION_TYPE("K & Any & K?"), DEBUG_INFO_SMARTCAST!>k<!>.funAny()
<!DEBUG_INFO_EXPRESSION_TYPE("K & Any & K?")!>k<!>.funNullableT()
<!DEBUG_INFO_EXPRESSION_TYPE("K & Any & K?")!>k<!>.funNullableAny()
<!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any & kotlin.Any?")!>v<!>
<!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>v<!>.equals(null)
<!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>v<!>.propT
@@ -351,16 +351,16 @@ fun <K, V>case_21(map: MutableMap<out K?, in V>) {
fun <T> case_22(x: T?) {
while (true) {
if (x === null) break
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?"), DEBUG_INFO_SMARTCAST!>x<!>.equals(null)
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?"), DEBUG_INFO_SMARTCAST!>x<!>.propT
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?"), DEBUG_INFO_SMARTCAST!>x<!>.propAny
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?")!>x<!>.propNullableT
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?")!>x<!>.propNullableAny
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?"), DEBUG_INFO_SMARTCAST!>x<!>.funT()
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?"), DEBUG_INFO_SMARTCAST!>x<!>.funAny()
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?")!>x<!>.funNullableT()
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?")!>x<!>.funNullableAny()
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?"), DEBUG_INFO_SMARTCAST!>x<!>.equals(null)
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?"), DEBUG_INFO_SMARTCAST!>x<!>.propT
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?"), DEBUG_INFO_SMARTCAST!>x<!>.propAny
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?")!>x<!>.propNullableT
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?")!>x<!>.propNullableAny
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?"), DEBUG_INFO_SMARTCAST!>x<!>.funT()
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?"), DEBUG_INFO_SMARTCAST!>x<!>.funAny()
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?")!>x<!>.funNullableT()
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?")!>x<!>.funNullableAny()
}
}
compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/25.kt
Vendored
+6 -6
View File
@@ -23,7 +23,7 @@ open class Case1<K : Number> {
x <!UNCHECKED_CAST!>as L<!>
x <!UNCHECKED_CAST!>as K<!>
if (x is T) {
<!DEBUG_INFO_EXPRESSION_TYPE("K & L & M & T!! & kotlin.Any & kotlin.Any?")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("K & L & M & T & Any & kotlin.Any & kotlin.Any?")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("K & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>x<!>.toByte()
<!DEBUG_INFO_EXPRESSION_TYPE("L & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>x<!>.length
<!DEBUG_INFO_EXPRESSION_TYPE("L & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>x<!>.get(0)
@@ -50,9 +50,9 @@ inline fun <reified T : CharSequence>case_2(x: Any?) {
inline fun <reified T : CharSequence>case_3(x: Any?) {
x as T?
if (x is T) {
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!! & kotlin.Any & kotlin.Any?")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>x<!>.length
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>x<!>.get(0)
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any & kotlin.Any & kotlin.Any?")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>x<!>.length
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>x<!>.get(0)
}
}
@@ -60,7 +60,7 @@ inline fun <reified T : CharSequence>case_3(x: Any?) {
inline fun <reified T : CharSequence>case_4(x: Any?) {
(x as? T)!!
if (<!USELESS_IS_CHECK!>x is T?<!>) {
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!! & kotlin.Any & kotlin.Any?")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any & kotlin.Any & kotlin.Any?")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>x<!>.length
<!DEBUG_INFO_EXPRESSION_TYPE("T & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>x<!>.get(0)
}
@@ -70,7 +70,7 @@ inline fun <reified T : CharSequence>case_4(x: Any?) {
inline fun <reified T : CharSequence>case_5(x: Any?) {
if (x as? T != null) {
if (<!USELESS_IS_CHECK!>x is T?<!>) {
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!! & kotlin.Any & kotlin.Any?")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any & kotlin.Any & kotlin.Any?")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>x<!>.length
<!DEBUG_INFO_EXPRESSION_TYPE("T & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>x<!>.get(0)
}
compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/26.kt
Vendored
+6 -6
View File
@@ -23,7 +23,7 @@ open class Case1<K : Number> {
x <!UNCHECKED_CAST!>as L<!>
x <!UNCHECKED_CAST!>as K<!>
if (x is T) {
<!DEBUG_INFO_EXPRESSION_TYPE("K & L & M & T!! & kotlin.Any & kotlin.Any?")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("K & L & M & T & Any & kotlin.Any & kotlin.Any?")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("K & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>x<!>.toByte()
<!DEBUG_INFO_EXPRESSION_TYPE("L & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>x<!>.length
<!DEBUG_INFO_EXPRESSION_TYPE("L & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>x<!>.get(0)
@@ -50,9 +50,9 @@ inline fun <reified T : CharSequence>case_2(x: Any?) {
inline fun <reified T : CharSequence>case_3(x: Any?) {
x as T?
if (x is T) {
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!! & kotlin.Any & kotlin.Any?")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>x<!>.length
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>x<!>.get(0)
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any & kotlin.Any & kotlin.Any?")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>x<!>.length
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>x<!>.get(0)
}
}
@@ -60,7 +60,7 @@ inline fun <reified T : CharSequence>case_3(x: Any?) {
inline fun <reified T : CharSequence>case_4(x: Any?) {
(x as? T)!!
if (<!USELESS_IS_CHECK!>x is T?<!>) {
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!! & kotlin.Any & kotlin.Any?")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any & kotlin.Any & kotlin.Any?")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>x<!>.length
<!DEBUG_INFO_EXPRESSION_TYPE("T & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>x<!>.get(0)
}
@@ -70,7 +70,7 @@ inline fun <reified T : CharSequence>case_4(x: Any?) {
inline fun <reified T : CharSequence>case_5(x: Any?) {
if (x as? T != null) {
if (<!USELESS_IS_CHECK!>x is T?<!>) {
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!! & kotlin.Any & kotlin.Any?")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any & kotlin.Any & kotlin.Any?")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>x<!>.length
<!DEBUG_INFO_EXPRESSION_TYPE("T & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>x<!>.get(0)
}
compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/27.kt
Vendored
+6 -6
View File
@@ -23,7 +23,7 @@ open class Case1<K : Number> {
x <!UNCHECKED_CAST!>as L<!>
x <!UNCHECKED_CAST!>as K<!>
if (x is T) {
<!DEBUG_INFO_EXPRESSION_TYPE("K & L & M & T!! & kotlin.Any & kotlin.Any?")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("K & L & M & T & Any & kotlin.Any & kotlin.Any?")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("K & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>x<!>.toByte()
<!DEBUG_INFO_EXPRESSION_TYPE("L & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>x<!>.length
<!DEBUG_INFO_EXPRESSION_TYPE("L & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>x<!>.get(0)
@@ -50,9 +50,9 @@ inline fun <reified T : CharSequence>case_2(x: Any?) {
inline fun <reified T : CharSequence>case_3(x: Any?) {
x as T?
if (x is T) {
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!! & kotlin.Any & kotlin.Any?")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>x<!>.length
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>x<!>.get(0)
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any & kotlin.Any & kotlin.Any?")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>x<!>.length
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>x<!>.get(0)
}
}
@@ -60,7 +60,7 @@ inline fun <reified T : CharSequence>case_3(x: Any?) {
inline fun <reified T : CharSequence>case_4(x: Any?) {
(x as? T)!!
if (<!USELESS_IS_CHECK!>x is T?<!>) {
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!! & kotlin.Any & kotlin.Any?")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any & kotlin.Any & kotlin.Any?")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>x<!>.length
<!DEBUG_INFO_EXPRESSION_TYPE("T & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>x<!>.get(0)
}
@@ -70,7 +70,7 @@ inline fun <reified T : CharSequence>case_4(x: Any?) {
inline fun <reified T : CharSequence>case_5(x: Any?) {
if (x as? T != null) {
if (<!USELESS_IS_CHECK!>x is T?<!>) {
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!! & kotlin.Any & kotlin.Any?")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any & kotlin.Any & kotlin.Any?")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>x<!>.length
<!DEBUG_INFO_EXPRESSION_TYPE("T & kotlin.Any?"), DEBUG_INFO_SMARTCAST!>x<!>.get(0)
}
compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/29.kt
Vendored
+5 -5
View File
@@ -62,23 +62,23 @@ fun case_4(x: Class?) {
// TESTCASE NUMBER: 5
fun <T> case_5(x: T) {
if (x?.propNullableT != null) {
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any")!>x<!>
}
}
// TESTCASE NUMBER: 6
fun <T>case_6(x: Inv<T>?) {
if (x?.prop_1?.prop_1?.prop_1?.prop_2 != null) {
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?")!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!>x<!>.prop_1<!>.prop_1<!>.prop_1<!>.prop_2<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T!!"), DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!>x<!>.prop_1<!>.prop_1<!>.prop_1<!>.prop_2<!>.equals(10)
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?")!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!>x<!>.prop_1<!>.prop_1<!>.prop_1<!>.prop_2<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any"), DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!>x<!>.prop_1<!>.prop_1<!>.prop_1<!>.prop_2<!>.equals(10)
}
}
// TESTCASE NUMBER: 7
inline fun <reified T>case_7(x: Inv<T>?) {
if (x?.prop_1?.prop_1?.prop_1?.prop_2 == null) else {
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?")!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!>x<!>.prop_1<!>.prop_1<!>.prop_1<!>.prop_2<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T!!"), DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!>x<!>.prop_1<!>.prop_1<!>.prop_1<!>.prop_2<!>.equals(10)
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?")!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!>x<!>.prop_1<!>.prop_1<!>.prop_1<!>.prop_2<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any"), DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!>x<!>.prop_1<!>.prop_1<!>.prop_1<!>.prop_2<!>.equals(10)
}
}
compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/30.kt
Vendored
+1 -1
View File
@@ -133,7 +133,7 @@ fun case_8(x: Class) {
// TESTCASE NUMBER: 9
fun <T> case_9(x: T) {
if (x!!.propNullableT != null) {
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!!")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any")!>x<!>
x.propNullableT
}
}
compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/31.kt
Vendored
+6 -6
View File
@@ -104,23 +104,23 @@ fun case_6(x: Class?) {
// TESTCASE NUMBER: 5
fun <T> case_5(x: T) {
if ((x as Any).propNullableT != null) {
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!! & kotlin.Any")!>x<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any & kotlin.Any")!>x<!>
}
}
// TESTCASE NUMBER: 6
fun <T>case_6(x: Inv<T>?) {
if (x?.prop_1?.prop_1?.prop_1?.prop_2 != null) {
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?")!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!>x<!>.prop_1<!>.prop_1<!>.prop_1<!>.prop_2<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T!!"), DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!>x<!>.prop_1<!>.prop_1<!>.prop_1<!>.prop_2<!>.equals(10)
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?")!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!>x<!>.prop_1<!>.prop_1<!>.prop_1<!>.prop_2<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any"), DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!>x<!>.prop_1<!>.prop_1<!>.prop_1<!>.prop_2<!>.equals(10)
}
}
// TESTCASE NUMBER: 7
inline fun <reified T>case_7(x: Inv<T>?) {
if (x?.prop_1?.prop_1?.prop_1?.prop_2 == null) else {
<!DEBUG_INFO_EXPRESSION_TYPE("T!! & T?")!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!>x<!>.prop_1<!>.prop_1<!>.prop_1<!>.prop_2<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T!!"), DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!>x<!>.prop_1<!>.prop_1<!>.prop_1<!>.prop_2<!>.equals(10)
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any & T?")!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!>x<!>.prop_1<!>.prop_1<!>.prop_1<!>.prop_2<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & Any"), DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!><!DEBUG_INFO_SMARTCAST!>x<!>.prop_1<!>.prop_1<!>.prop_1<!>.prop_2<!>.equals(10)
}
}
@@ -138,4 +138,4 @@ inline fun <reified T>case_9(x: Out<T>?) {
<!DEBUG_INFO_EXPRESSION_TYPE("Inv<out T> & Inv<out T>?")!><!DEBUG_INFO_SMARTCAST!>x<!>.prop_1.prop_1.prop_1.prop_1<!>
<!DEBUG_INFO_EXPRESSION_TYPE("Inv<out T> & Inv<out T>?")!><!DEBUG_INFO_SMARTCAST!>x<!>.prop_1.prop_1.prop_1.prop_1<!>.equals(10)
}
}
}
compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/32.kt
Vendored
+3 -3
View File
@@ -15,7 +15,7 @@
fun <T: Any, K: Any> case_1(x: T?, y: K?) {
x as T
y as K
val z = <!DEBUG_INFO_EXPRESSION_TYPE("T & T!! & T?")!>x<!> <!USELESS_ELVIS!>?: <!DEBUG_INFO_EXPRESSION_TYPE("K & K!! & K?"), DEBUG_INFO_SMARTCAST!>y<!><!>
val z = <!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any & T?")!>x<!> <!USELESS_ELVIS!>?: <!DEBUG_INFO_EXPRESSION_TYPE("K & K & Any & K?"), DEBUG_INFO_SMARTCAST!>y<!><!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & T?"), DEBUG_INFO_SMARTCAST!>x<!>.equals(10)
<!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Any")!>z<!>
@@ -26,6 +26,6 @@ fun <T: Any, K: Any> case_1(x: T?, y: K?) {
inline fun <reified T: Any, reified K: T> case_2(y: K?) {
y as K
<!DEBUG_INFO_EXPRESSION_TYPE("K & K!! & K?")!>y<!>
<!DEBUG_INFO_EXPRESSION_TYPE("K & K & Any & K?")!>y<!>
<!DEBUG_INFO_EXPRESSION_TYPE("K & K?"), DEBUG_INFO_SMARTCAST!>y<!>.equals(10)
}
}
compiler/tests-spec/testData/diagnostics/notLinked/dfa/pos/50.kt
Vendored
+4 -4
View File
@@ -74,7 +74,7 @@ fun <T> ClassWithSixTypeParameters<out T, *, T, in T?, *, T>.case_5() {
*/
fun <T> case_6(y: Inv<out T>) {
if (y.prop_3 is MutableList<*>) {
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!! & kotlin.collections.MutableList<*>")!>y.prop_3<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any & kotlin.collections.MutableList<*>")!>y.prop_3<!>
<!DEBUG_INFO_EXPRESSION_TYPE("kotlin.collections.MutableList<*>"), DEBUG_INFO_SMARTCAST!>y.prop_3<!>[0]
}
}
@@ -85,9 +85,9 @@ fun <T> case_6(y: Inv<out T>) {
*/
fun <T> Inv<out T>.case_7() {
if (this.prop_3 is MutableList<*>) {
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!! & kotlin.collections.MutableList<*>")!>this.prop_3<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any & kotlin.collections.MutableList<*>")!>this.prop_3<!>
<!DEBUG_INFO_EXPRESSION_TYPE("kotlin.collections.MutableList<*>"), DEBUG_INFO_SMARTCAST!>this.prop_3<!>[0]
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!! & kotlin.collections.MutableList<*>")!>prop_3<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any & kotlin.collections.MutableList<*>")!>prop_3<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & kotlin.collections.MutableList<*>"), DEBUG_INFO_SMARTCAST!>prop_3<!>[0]
}
}
@@ -107,7 +107,7 @@ fun <T> T.case_8() {
*/
fun <T> T.case_9() {
if (this is String) {
<!DEBUG_INFO_EXPRESSION_TYPE("T & T!! & kotlin.String"), DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T & T & Any & kotlin.String"), DEBUG_INFO_EXPRESSION_TYPE("T")!>this<!>
<!DEBUG_INFO_EXPRESSION_TYPE("T"), DEBUG_INFO_EXPRESSION_TYPE("kotlin.String"), DEBUG_INFO_SMARTCAST!>this<!>.length
<!DEBUG_INFO_IMPLICIT_RECEIVER_SMARTCAST!>length<!>
}