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

[FIR] Don't assume types with not found symbol as error types

Browse Source
This commit is contained in:
Dmitriy Novozhilov
2020-09-10 15:47:02 +03:00
parent 7f692be11e
commit 1dc3c93efa
59 changed files with 330 additions and 323 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/tests-spec/testData/diagnostics/notLinked/contracts/analysis/smartcasts/neg/1.fir.kt
Vendored
+3 -3
View File
@@ -11,13 +11,13 @@ fun case_1(value_1: Any?) {
// TESTCASE NUMBER: 2
fun case_2(value_1: Int?) {
funWithReturnsAndInvertCondition(value_1 != null)
<!AMBIGUITY!>println<!>(value_1.<!AMBIGUITY!>inc<!>())
println(value_1.<!INAPPLICABLE_CANDIDATE!>inc<!>())
}
// TESTCASE NUMBER: 3
fun case_3(value_1: Int?) {
funWithReturns(value_1 == null)
<!AMBIGUITY!>println<!>(value_1.<!AMBIGUITY!>inc<!>())
println(value_1.<!INAPPLICABLE_CANDIDATE!>inc<!>())
}
// TESTCASE NUMBER: 4
@@ -44,7 +44,7 @@ object case_7_object {
}
fun case_7() {
funWithReturns(case_7_object.prop_1 == null)
case_7_object.prop_1.<!AMBIGUITY!>inc<!>()
case_7_object.prop_1.<!INAPPLICABLE_CANDIDATE!>inc<!>()
}
// TESTCASE NUMBER: 8
compiler/tests-spec/testData/diagnostics/notLinked/contracts/analysis/smartcasts/neg/10.fir.kt
Vendored
+38 -38
View File
@@ -213,7 +213,7 @@ fun case_2(value_1: Any?) {
// TESTCASE NUMBER: 3
fun case_3(number: Int?) {
if (!funWithReturnsTrueAndNullCheck(number)) number.<!AMBIGUITY!>inc<!>()
if (!funWithReturnsTrueAndNullCheck(number)) number.<!INAPPLICABLE_CANDIDATE!>inc<!>()
}
// TESTCASE NUMBER: 4
@@ -284,7 +284,7 @@ fun case_12(value_1: Any?, value_2: Any?) {
<!AMBIGUITY!>println<!>(value_2?.<!UNRESOLVED_REFERENCE!>toByte<!>())
}
if (funWithReturnsFalse(value_1 !is Float? || value_1 == null || value_2 == null)) {
<!AMBIGUITY!>println<!>(value_1.<!AMBIGUITY!>dec<!>())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>dec<!>())
<!AMBIGUITY!>println<!>(value_2?.<!UNRESOLVED_REFERENCE!>toByte<!>())
}
if (funWithReturnsNotNull(value_1 !is String || value_2 !is Number) == null) {
@@ -300,7 +300,7 @@ fun case_12(value_1: Any?, value_2: Any?) {
// TESTCASE NUMBER: 13
fun case_13(value_1: Any?, value_2: Any?) {
if (!funWithReturnsTrueAndInvertCondition(value_1 is Float? && value_1 != null && value_2 != null)) {
<!AMBIGUITY!>println<!>(value_1.<!AMBIGUITY!>dec<!>())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>dec<!>())
<!AMBIGUITY!>println<!>(value_2?.<!UNRESOLVED_REFERENCE!>toByte<!>())
}
if (funWithReturnsFalseAndInvertCondition(value_1 is String && value_2 is Number)) {
@@ -320,7 +320,7 @@ fun case_13(value_1: Any?, value_2: Any?) {
<!AMBIGUITY!>println<!>(value_2?.<!UNRESOLVED_REFERENCE!>toByte<!>())
}
if (funWithReturnsNotNull(value_1 is Float? && value_1 != null && value_2 != null) == null) {
<!AMBIGUITY!>println<!>(value_1.<!AMBIGUITY!>dec<!>())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>dec<!>())
<!AMBIGUITY!>println<!>(value_2?.<!UNRESOLVED_REFERENCE!>toByte<!>())
}
if (funWithReturnsNullAndInvertCondition(value_1 is String && value_2 is Number) != null) {
@@ -332,7 +332,7 @@ fun case_13(value_1: Any?, value_2: Any?) {
<!AMBIGUITY!>println<!>(value_2?.<!UNRESOLVED_REFERENCE!>toByte<!>())
}
if (funWithReturnsNull(value_1 is Float? && value_1 != null && value_2 != null) != null) {
<!AMBIGUITY!>println<!>(value_1.<!AMBIGUITY!>dec<!>())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>dec<!>())
<!AMBIGUITY!>println<!>(value_2?.<!UNRESOLVED_REFERENCE!>toByte<!>())
}
}
@@ -344,24 +344,24 @@ class case_14_class {
fun case_14(value_1: Any?, value_2: Number?) {
val o = case_14_class()
if (!funWithReturnsTrueAndInvertCondition(value_1 is Float? && value_1 != null && value_2 != null && o.prop_1 != null)) {
<!AMBIGUITY!>println<!>(value_1.<!AMBIGUITY!>dec<!>())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>dec<!>())
println(value_2?.toByte())
<!AMBIGUITY!>println<!>(o.prop_1.<!AMBIGUITY!>plus<!>(3))
<!AMBIGUITY!>println<!>(o.prop_1.<!NONE_APPLICABLE!>plus<!>(3))
}
if (funWithReturnsFalse(value_1 !is Float? || value_1 == null || value_2 == null || o.prop_1 == null || this.prop_1 == null)) {
<!AMBIGUITY!>println<!>(value_1.<!AMBIGUITY!>dec<!>())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>dec<!>())
println(value_2?.toByte())
<!AMBIGUITY!>println<!>(o.prop_1.<!AMBIGUITY!>plus<!>(3))
<!AMBIGUITY!>println<!>(o.prop_1.<!NONE_APPLICABLE!>plus<!>(3))
}
if (funWithReturnsNotNull(value_1 !is Float? || value_1 == null || value_2 == null || o.prop_1 == null || this.prop_1 == null) == null) {
<!AMBIGUITY!>println<!>(value_1.<!AMBIGUITY!>dec<!>())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>dec<!>())
println(value_2?.toByte())
<!AMBIGUITY!>println<!>(o.prop_1.<!AMBIGUITY!>plus<!>(3))
<!AMBIGUITY!>println<!>(o.prop_1.<!NONE_APPLICABLE!>plus<!>(3))
}
if (funWithReturnsNull(value_1 !is Float? || value_1 == null || value_2 == null || o.prop_1 == null || this.prop_1 == null) != null) {
<!AMBIGUITY!>println<!>(value_1.<!AMBIGUITY!>dec<!>())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>dec<!>())
println(value_2?.toByte())
<!AMBIGUITY!>println<!>(o.prop_1.<!AMBIGUITY!>plus<!>(3))
<!AMBIGUITY!>println<!>(o.prop_1.<!NONE_APPLICABLE!>plus<!>(3))
}
}
}
@@ -413,28 +413,28 @@ class case_17_class {
fun case_17(value_1: Any?, value_2: Number?) {
val o = case_17_class()
if (contracts.case_17_1(value_1, value_2, o.prop_1, this.prop_1)) {
<!AMBIGUITY!>println<!>(value_1.<!AMBIGUITY!>dec<!>())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>dec<!>())
println(value_2?.toByte())
<!AMBIGUITY!>println<!>(o.prop_1.<!AMBIGUITY!>plus<!>(3))
<!AMBIGUITY!>println<!>(this.prop_1.<!AMBIGUITY!>plus<!>(3))
<!AMBIGUITY!>println<!>(o.prop_1.<!NONE_APPLICABLE!>plus<!>(3))
<!AMBIGUITY!>println<!>(this.prop_1.<!NONE_APPLICABLE!>plus<!>(3))
}
if (contracts.case_17_2(value_1, value_2, o.prop_1, this.prop_1)) {
<!AMBIGUITY!>println<!>(value_1.<!AMBIGUITY!>dec<!>())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>dec<!>())
println(value_2?.toByte())
<!AMBIGUITY!>println<!>(o.prop_1.<!AMBIGUITY!>plus<!>(3))
<!AMBIGUITY!>println<!>(this.prop_1.<!AMBIGUITY!>plus<!>(3))
<!AMBIGUITY!>println<!>(o.prop_1.<!NONE_APPLICABLE!>plus<!>(3))
<!AMBIGUITY!>println<!>(this.prop_1.<!NONE_APPLICABLE!>plus<!>(3))
}
if (contracts.case_17_3(value_1, value_2, o.prop_1, this.prop_1) == null) {
<!AMBIGUITY!>println<!>(value_1.<!AMBIGUITY!>dec<!>())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>dec<!>())
println(value_2?.toByte())
<!AMBIGUITY!>println<!>(o.prop_1.<!AMBIGUITY!>plus<!>(3))
<!AMBIGUITY!>println<!>(this.prop_1.<!AMBIGUITY!>plus<!>(3))
<!AMBIGUITY!>println<!>(o.prop_1.<!NONE_APPLICABLE!>plus<!>(3))
<!AMBIGUITY!>println<!>(this.prop_1.<!NONE_APPLICABLE!>plus<!>(3))
}
if (contracts.case_17_4(value_1, value_2, o.prop_1, this.prop_1) != null) {
<!AMBIGUITY!>println<!>(value_1.<!AMBIGUITY!>dec<!>())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>dec<!>())
println(value_2?.toByte())
<!AMBIGUITY!>println<!>(o.prop_1.<!AMBIGUITY!>plus<!>(3))
<!AMBIGUITY!>println<!>(this.prop_1.<!AMBIGUITY!>plus<!>(3))
<!AMBIGUITY!>println<!>(o.prop_1.<!NONE_APPLICABLE!>plus<!>(3))
<!AMBIGUITY!>println<!>(this.prop_1.<!NONE_APPLICABLE!>plus<!>(3))
}
}
}
@@ -449,10 +449,10 @@ fun case_18(value_1: Any?) {
// TESTCASE NUMBER: 19
fun case_19(value_1: Number) {
when { !value_1.case_19_1() -> <!AMBIGUITY!>println<!>(value_1.inv()) }
when { value_1.case_19_2() -> <!AMBIGUITY!>println<!>(value_1.inv()) }
when { value_1.case_19_3() == null -> <!AMBIGUITY!>println<!>(value_1.inv()) }
when { value_1.case_19_4() != null -> <!AMBIGUITY!>println<!>(value_1.inv()) }
when { !value_1.case_19_1() -> <!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>inv<!>()) }
when { value_1.case_19_2() -> <!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>inv<!>()) }
when { value_1.case_19_3() == null -> <!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>inv<!>()) }
when { value_1.case_19_4() != null -> <!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>inv<!>()) }
}
// TESTCASE NUMBER: 20
@@ -488,16 +488,16 @@ fun case_22(value_1: Any?, value_2: Any?) {
// TESTCASE NUMBER: 23
fun case_23(value_1: Number?, value_2: Number?) {
if (value_1.case_23_1()) <!AMBIGUITY!>println<!>(value_1.inv())
if (value_2.case_23_2() == null) <!AMBIGUITY!>println<!>(value_2.inv())
if (value_2.case_23_3() != null) <!AMBIGUITY!>println<!>(value_2.inv())
if (value_1.case_23_1()) <!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>inv<!>())
if (value_2.case_23_2() == null) <!AMBIGUITY!>println<!>(value_2.<!UNRESOLVED_REFERENCE!>inv<!>())
if (value_2.case_23_3() != null) <!AMBIGUITY!>println<!>(value_2.<!UNRESOLVED_REFERENCE!>inv<!>())
}
// TESTCASE NUMBER: 24
fun case_24(value_1: Any?, value_2: Any?) {
if (value_1.case_24_1()) <!AMBIGUITY!>println<!>(value_1.inv())
if (value_2.case_24_2() != null) <!AMBIGUITY!>println<!>(value_2.inv())
if (value_2.case_24_3() == null) <!AMBIGUITY!>println<!>(value_2.inv())
if (value_1.case_24_1()) <!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>inv<!>())
if (value_2.case_24_2() != null) <!AMBIGUITY!>println<!>(value_2.<!UNRESOLVED_REFERENCE!>inv<!>())
if (value_2.case_24_3() == null) <!AMBIGUITY!>println<!>(value_2.<!UNRESOLVED_REFERENCE!>inv<!>())
}
// TESTCASE NUMBER: 25
@@ -505,19 +505,19 @@ fun case_25(value_1: Any?, value_2: Int?, value_3: Any?, value_4: Int?) {
when {
value_1.case_25_1(value_2) -> {
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>length<!>)
<!AMBIGUITY!>println<!>(value_2.inv())
println(value_2.<!INAPPLICABLE_CANDIDATE!>inv<!>())
}
}
when {
value_3.case_25_2(value_4) == null -> {
<!AMBIGUITY!>println<!>(value_3.<!UNRESOLVED_REFERENCE!>length<!>)
<!AMBIGUITY!>println<!>(value_4.inv())
println(value_4.<!INAPPLICABLE_CANDIDATE!>inv<!>())
}
}
when {
value_3.case_25_3(value_4) != null -> {
<!AMBIGUITY!>println<!>(value_3.<!UNRESOLVED_REFERENCE!>length<!>)
<!AMBIGUITY!>println<!>(value_4.inv())
println(value_4.<!INAPPLICABLE_CANDIDATE!>inv<!>())
}
}
}
compiler/tests-spec/testData/diagnostics/notLinked/contracts/analysis/smartcasts/neg/2.fir.kt
Vendored
+16 -16
View File
@@ -26,7 +26,7 @@ fun case_3(value_1: Any?, value_2: Any?) {
// TESTCASE NUMBER: 4
fun case_4(value_1: Any?, value_2: Number?) {
funWithReturns(value_1 !is Float? || value_1 == null || value_2 == null)
<!AMBIGUITY!>println<!>(value_1.<!AMBIGUITY!>dec<!>())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>dec<!>())
println(value_2?.toByte())
}
@@ -36,9 +36,9 @@ class case_5_class {
fun case_5(value_1: Any?, value_2: Number?) {
val o = case_5_class()
funWithReturns(value_1 !is Float? || value_1 == null || value_2 == null || o.prop_1 == null)
<!AMBIGUITY!>println<!>(value_1.<!AMBIGUITY!>dec<!>())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>dec<!>())
println(value_2?.toByte())
<!AMBIGUITY!>println<!>(o.prop_1.<!AMBIGUITY!>plus<!>(3))
<!AMBIGUITY!>println<!>(o.prop_1.<!NONE_APPLICABLE!>plus<!>(3))
}
}
@@ -105,19 +105,19 @@ fun case_8(value_1: Any?, value_2: Any?) {
// TESTCASE NUMBER: 9
fun case_9(value_1: Any?, value_2: Number?) {
if (funWithReturnsTrue(value_1 !is Float? || value_1 == null || value_2 == null)) {
<!AMBIGUITY!>println<!>(value_1.<!AMBIGUITY!>dec<!>())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>dec<!>())
println(value_2?.toByte())
}
if (!funWithReturnsFalse(value_1 !is Float? || value_1 == null || value_2 == null)) {
<!AMBIGUITY!>println<!>(value_1.<!AMBIGUITY!>dec<!>())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>dec<!>())
println(value_2?.toByte())
}
if (funWithReturnsNotNull(value_1 is Float? && value_1 != null && value_2 != null) == null) {
<!AMBIGUITY!>println<!>(value_1.<!AMBIGUITY!>dec<!>())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>dec<!>())
println(value_2?.toByte())
}
if (funWithReturnsNull(value_1 is Float? && value_1 != null && value_2 != null) != null) {
<!AMBIGUITY!>println<!>(value_1.<!AMBIGUITY!>dec<!>())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>dec<!>())
println(value_2?.toByte())
}
}
@@ -129,24 +129,24 @@ class case_10_class {
fun case_10(value_1: Any?, value_2: Number?) {
val o = case_10_class()
if (funWithReturnsTrue(value_1 !is Float? || value_1 == null || value_2 == null || o.prop_1 == null || this.prop_1 == null)) {
<!AMBIGUITY!>println<!>(value_1.<!AMBIGUITY!>dec<!>())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>dec<!>())
println(value_2?.toByte())
<!AMBIGUITY!>println<!>(o.prop_1.<!AMBIGUITY!>plus<!>(3))
<!AMBIGUITY!>println<!>(o.prop_1.<!NONE_APPLICABLE!>plus<!>(3))
}
if (!funWithReturnsFalse(value_1 !is Float? || value_1 == null || value_2 == null || o.prop_1 == null || this.prop_1 == null)) {
<!AMBIGUITY!>println<!>(value_1.<!AMBIGUITY!>dec<!>())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>dec<!>())
println(value_2?.toByte())
<!AMBIGUITY!>println<!>(o.prop_1.<!AMBIGUITY!>plus<!>(3))
<!AMBIGUITY!>println<!>(o.prop_1.<!NONE_APPLICABLE!>plus<!>(3))
}
if (funWithReturnsNotNull(value_1 !is Float? || value_1 == null || value_2 == null || o.prop_1 == null || this.prop_1 == null) != null) {
<!AMBIGUITY!>println<!>(value_1.<!AMBIGUITY!>dec<!>())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>dec<!>())
println(value_2?.toByte())
<!AMBIGUITY!>println<!>(o.prop_1.<!AMBIGUITY!>plus<!>(3))
<!AMBIGUITY!>println<!>(o.prop_1.<!NONE_APPLICABLE!>plus<!>(3))
}
if (funWithReturnsNull(value_1 !is Float? || value_1 == null || value_2 == null || o.prop_1 == null || this.prop_1 == null) == null) {
<!AMBIGUITY!>println<!>(value_1.<!AMBIGUITY!>dec<!>())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>dec<!>())
println(value_2?.toByte())
<!AMBIGUITY!>println<!>(o.prop_1.<!AMBIGUITY!>plus<!>(3))
<!AMBIGUITY!>println<!>(o.prop_1.<!NONE_APPLICABLE!>plus<!>(3))
}
}
}
@@ -156,5 +156,5 @@ fun case_11(value_1: Any?, value_2: Any?, value_3: Any?) {
funWithReturnsAndInvertCondition(value_1 !is String? || value_2 !is Number && value_3 !is Float)
println(value_1!!.length)
<!AMBIGUITY!>println<!>(value_2.<!UNRESOLVED_REFERENCE!>toByte<!>())
<!AMBIGUITY!>println<!>(value_3.<!AMBIGUITY!>dec<!>())
<!AMBIGUITY!>println<!>(value_3.<!UNRESOLVED_REFERENCE!>dec<!>())
}
compiler/tests-spec/testData/diagnostics/notLinked/contracts/analysis/smartcasts/neg/3.fir.kt
Vendored
+10 -10
View File
@@ -103,9 +103,9 @@ class case_3_class {
fun case_3(value_1: Any?, value_2: Number?) {
val o = case_3_class()
contracts.case_3(value_1, value_2, o.prop_1, this.prop_1)
<!AMBIGUITY!>println<!>(value_1.<!AMBIGUITY!>dec<!>())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>dec<!>())
println(value_2?.toByte())
<!AMBIGUITY!>println<!>(o.prop_1.<!AMBIGUITY!>plus<!>(3))
<!AMBIGUITY!>println<!>(o.prop_1.<!NONE_APPLICABLE!>plus<!>(3))
}
}
@@ -156,24 +156,24 @@ class case_6_class {
fun case_6(value_1: Any?, value_2: Number?) {
val o = case_6_class()
if (contracts.case_6_1(value_1, value_2, o.prop_1, this.prop_1)) {
<!AMBIGUITY!>println<!>(value_1.<!AMBIGUITY!>dec<!>())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>dec<!>())
println(value_2?.toByte())
<!AMBIGUITY!>println<!>(o.prop_1.<!AMBIGUITY!>plus<!>(3))
<!AMBIGUITY!>println<!>(o.prop_1.<!NONE_APPLICABLE!>plus<!>(3))
}
if (!contracts.case_6_2(value_1, value_2, o.prop_1, this.prop_1)) {
<!AMBIGUITY!>println<!>(value_1.<!AMBIGUITY!>dec<!>())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>dec<!>())
println(value_2?.toByte())
<!AMBIGUITY!>println<!>(o.prop_1.<!AMBIGUITY!>plus<!>(3))
<!AMBIGUITY!>println<!>(o.prop_1.<!NONE_APPLICABLE!>plus<!>(3))
}
if (contracts.case_6_3(value_1, value_2, o.prop_1, this.prop_1) == null) {
<!AMBIGUITY!>println<!>(value_1.<!AMBIGUITY!>dec<!>())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>dec<!>())
println(value_2?.toByte())
<!AMBIGUITY!>println<!>(o.prop_1.<!AMBIGUITY!>plus<!>(3))
<!AMBIGUITY!>println<!>(o.prop_1.<!NONE_APPLICABLE!>plus<!>(3))
}
if (contracts.case_6_4(value_1, value_2, o.prop_1, this.prop_1) != null) {
<!AMBIGUITY!>println<!>(value_1.<!AMBIGUITY!>dec<!>())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>dec<!>())
println(value_2?.toByte())
<!AMBIGUITY!>println<!>(o.prop_1.<!AMBIGUITY!>plus<!>(3))
<!AMBIGUITY!>println<!>(o.prop_1.<!NONE_APPLICABLE!>plus<!>(3))
}
}
}
compiler/tests-spec/testData/diagnostics/notLinked/contracts/analysis/smartcasts/neg/4.fir.kt
Vendored
+5 -5
View File
@@ -146,7 +146,7 @@ fun case_1(value_1: Any?) {
// TESTCASE NUMBER: 2
fun case_2(value_1: Number) {
value_1.case_2()
<!AMBIGUITY!>println<!>(value_1.inv())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>inv<!>())
}
// TESTCASE NUMBER: 3
@@ -175,10 +175,10 @@ fun case_5(value_1: Any?) {
// TESTCASE NUMBER: 6
fun case_6(value_1: Number) {
when { value_1.case_6_1() -> <!AMBIGUITY!>println<!>(value_1.inv()) }
when { !value_1.case_6_2() -> <!AMBIGUITY!>println<!>(value_1.inv()) }
when { value_1.case_6_3() != null -> <!AMBIGUITY!>println<!>(value_1.inv()) }
when { value_1.case_6_4() != null -> <!AMBIGUITY!>println<!>(value_1.inv()) }
when { value_1.case_6_1() -> <!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>inv<!>()) }
when { !value_1.case_6_2() -> <!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>inv<!>()) }
when { value_1.case_6_3() != null -> <!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>inv<!>()) }
when { value_1.case_6_4() != null -> <!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>inv<!>()) }
}
// TESTCASE NUMBER: 7
compiler/tests-spec/testData/diagnostics/notLinked/contracts/analysis/smartcasts/neg/5.fir.kt
Vendored
+10 -10
View File
@@ -92,13 +92,13 @@ fun case_1(value_1: Any?) {
// TESTCASE NUMBER: 2
fun case_2(value_1: Number?) {
value_1.case_2()
<!AMBIGUITY!>println<!>(value_1.inv())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>inv<!>())
}
// TESTCASE NUMBER: 3
fun case_3(value_1: Any?) {
value_1.case_3()
<!AMBIGUITY!>println<!>(value_1.inv())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>inv<!>())
}
// TESTCASE NUMBER: 4
@@ -111,16 +111,16 @@ fun case_4(value_1: Any?, value_2: Any?, value_3: Any?) {
// TESTCASE NUMBER: 5
fun case_5(value_1: Number?, value_2: Number?, value_3: Number?) {
if (value_1.case_5_1()) <!AMBIGUITY!>println<!>(value_1.inv())
if (!value_2.case_5_2()) <!AMBIGUITY!>println<!>(value_2.inv())
if (value_3.case_5_3() != null) <!AMBIGUITY!>println<!>(value_3.inv())
if (value_3.case_5_4() == null) <!AMBIGUITY!>println<!>(value_3.inv())
if (value_1.case_5_1()) <!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>inv<!>())
if (!value_2.case_5_2()) <!AMBIGUITY!>println<!>(value_2.<!UNRESOLVED_REFERENCE!>inv<!>())
if (value_3.case_5_3() != null) <!AMBIGUITY!>println<!>(value_3.<!UNRESOLVED_REFERENCE!>inv<!>())
if (value_3.case_5_4() == null) <!AMBIGUITY!>println<!>(value_3.<!UNRESOLVED_REFERENCE!>inv<!>())
}
// TESTCASE NUMBER: 6
fun case_6(value_1: Any?, value_2: Any?, value_3: Any?) {
if (value_1.case_6_1()) <!AMBIGUITY!>println<!>(value_1.inv())
if (!value_2.case_6_2()) <!AMBIGUITY!>println<!>(value_2.inv())
if (value_3.case_6_3() == null) <!AMBIGUITY!>println<!>(value_3.inv())
if (value_3.case_6_4() != null) <!AMBIGUITY!>println<!>(value_3.inv())
if (value_1.case_6_1()) <!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>inv<!>())
if (!value_2.case_6_2()) <!AMBIGUITY!>println<!>(value_2.<!UNRESOLVED_REFERENCE!>inv<!>())
if (value_3.case_6_3() == null) <!AMBIGUITY!>println<!>(value_3.<!UNRESOLVED_REFERENCE!>inv<!>())
if (value_3.case_6_4() != null) <!AMBIGUITY!>println<!>(value_3.<!UNRESOLVED_REFERENCE!>inv<!>())
}
compiler/tests-spec/testData/diagnostics/notLinked/contracts/analysis/smartcasts/neg/6.fir.kt
Vendored
+19 -19
View File
@@ -111,27 +111,27 @@ import contracts.*
fun case_1(value_1: Any?, value_2: Int?) {
value_1.case_1(value_2)
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>length<!>)
<!AMBIGUITY!>println<!>(value_2.inv())
println(value_2.<!INAPPLICABLE_CANDIDATE!>inv<!>())
}
// TESTCASE NUMBER: 2
fun case_2(value_1: Number?, value_2: Any?) {
value_1.case_2(value_2)
<!AMBIGUITY!>println<!>(value_1.inv())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>inv<!>())
<!AMBIGUITY!>println<!>(value_2.<!UNRESOLVED_REFERENCE!>toByte<!>())
}
// TESTCASE NUMBER: 3
fun case_3(value_1: Any?, value_2: String?) {
value_1.case_3(value_2)
<!AMBIGUITY!>println<!>(value_1.inv())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>inv<!>())
println(value_2.<!INAPPLICABLE_CANDIDATE!>length<!>)
}
// TESTCASE NUMBER: 4
fun case_4(value_1: Any?, value_2: Number, value_3: Any?, value_4: String?) {
value_1.case_4(value_2, value_3, value_4)
<!AMBIGUITY!>println<!>(value_2.inv())
<!AMBIGUITY!>println<!>(value_2.<!UNRESOLVED_REFERENCE!>inv<!>())
<!AMBIGUITY!>println<!>(value_3.<!UNRESOLVED_REFERENCE!>toByte<!>())
println(value_4.<!INAPPLICABLE_CANDIDATE!>length<!>)
}
@@ -141,19 +141,19 @@ fun case_5(value_1: Any?, value_2: Int?, value_3: Any?, value_4: Int?, value_5:
when {
value_1.case_5_1(value_2) -> {
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>length<!>)
<!AMBIGUITY!>println<!>(value_2.inv())
println(value_2.<!INAPPLICABLE_CANDIDATE!>inv<!>())
}
}
when {
!value_3.case_5_2(value_4) -> {
<!AMBIGUITY!>println<!>(value_3.<!UNRESOLVED_REFERENCE!>length<!>)
<!AMBIGUITY!>println<!>(value_4.inv())
println(value_4.<!INAPPLICABLE_CANDIDATE!>inv<!>())
}
}
when {
value_5.case_5_3(value_6) != null -> {
<!AMBIGUITY!>println<!>(value_5.<!UNRESOLVED_REFERENCE!>length<!>)
<!AMBIGUITY!>println<!>(value_6.inv())
println(value_6.<!INAPPLICABLE_CANDIDATE!>inv<!>())
}
}
}
@@ -161,19 +161,19 @@ fun case_5(value_1: Any?, value_2: Int?, value_3: Any?, value_4: Int?, value_5:
// TESTCASE NUMBER: 6
fun case_6(value_1: Number?, value_2: Any?, value_3: Number?, value_4: Any?, value_5: Number?, value_6: Any?) {
if (value_1.case_6_1(value_2)) {
<!AMBIGUITY!>println<!>(value_1.inv())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>inv<!>())
<!AMBIGUITY!>println<!>(value_2.<!UNRESOLVED_REFERENCE!>toByte<!>())
}
if (!value_3.case_6_2(value_4)) {
<!AMBIGUITY!>println<!>(value_3.inv())
<!AMBIGUITY!>println<!>(value_3.<!UNRESOLVED_REFERENCE!>inv<!>())
<!AMBIGUITY!>println<!>(value_4.<!UNRESOLVED_REFERENCE!>toByte<!>())
}
if (value_5.case_6_3(value_6) != null) {
<!AMBIGUITY!>println<!>(value_5.inv())
<!AMBIGUITY!>println<!>(value_5.<!UNRESOLVED_REFERENCE!>inv<!>())
<!AMBIGUITY!>println<!>(value_6.<!UNRESOLVED_REFERENCE!>toByte<!>())
}
if (value_5.case_6_4(value_6) == null) {
<!AMBIGUITY!>println<!>(value_5.inv())
<!AMBIGUITY!>println<!>(value_5.<!UNRESOLVED_REFERENCE!>inv<!>())
<!AMBIGUITY!>println<!>(value_6.<!UNRESOLVED_REFERENCE!>toByte<!>())
}
}
@@ -181,35 +181,35 @@ fun case_6(value_1: Number?, value_2: Any?, value_3: Number?, value_4: Any?, val
// TESTCASE NUMBER: 7
fun case_7(value_1: Any?, value_2: String?, value_3: Any?, value_4: String?, value_5: Any?, value_6: String?) {
if (value_1.case_7_1(value_2)) {
<!AMBIGUITY!>println<!>(value_1.inv())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>inv<!>())
println(value_2.<!INAPPLICABLE_CANDIDATE!>length<!>)
}
if (value_3.case_7_2(value_4)) {
<!AMBIGUITY!>println<!>(value_3.inv())
<!AMBIGUITY!>println<!>(value_3.<!UNRESOLVED_REFERENCE!>inv<!>())
println(value_4.<!INAPPLICABLE_CANDIDATE!>length<!>)
}
if (value_5.case_7_3(value_6) != null) {
<!AMBIGUITY!>println<!>(value_5.inv())
<!AMBIGUITY!>println<!>(value_5.<!UNRESOLVED_REFERENCE!>inv<!>())
println(value_6.<!INAPPLICABLE_CANDIDATE!>length<!>)
}
if (value_5.case_7_4(value_6) == null) {
<!AMBIGUITY!>println<!>(value_5.inv())
<!AMBIGUITY!>println<!>(value_5.<!UNRESOLVED_REFERENCE!>inv<!>())
println(value_6.<!INAPPLICABLE_CANDIDATE!>length<!>)
}
}
// TESTCASE NUMBER: 8
fun case_8(value_1: Any?, value_2: Number, value_3: Any?, value_4: String?) {
when { value_1.case_8_1(value_2, value_3, value_4) -> <!AMBIGUITY!>println<!>(value_2.inv()) }
when { value_1.case_8_1(value_2, value_3, value_4) -> <!AMBIGUITY!>println<!>(value_2.<!UNRESOLVED_REFERENCE!>inv<!>()) }
when { value_1.case_8_1(value_2, value_3, value_4) -> <!AMBIGUITY!>println<!>(value_3.<!UNRESOLVED_REFERENCE!>toByte<!>()) }
when { value_1.case_8_1(value_2, value_3, value_4) -> println(value_4.<!INAPPLICABLE_CANDIDATE!>length<!>) }
when { !value_1.case_8_2(value_2, value_3, value_4) -> <!AMBIGUITY!>println<!>(value_2.inv()) }
when { !value_1.case_8_2(value_2, value_3, value_4) -> <!AMBIGUITY!>println<!>(value_2.<!UNRESOLVED_REFERENCE!>inv<!>()) }
when { !value_1.case_8_2(value_2, value_3, value_4) -> <!AMBIGUITY!>println<!>(value_3.<!UNRESOLVED_REFERENCE!>toByte<!>()) }
when { !value_1.case_8_2(value_2, value_3, value_4) -> println(value_4.<!INAPPLICABLE_CANDIDATE!>length<!>) }
when { value_1.case_8_3(value_2, value_3, value_4) == null -> <!AMBIGUITY!>println<!>(value_2.inv()) }
when { value_1.case_8_3(value_2, value_3, value_4) == null -> <!AMBIGUITY!>println<!>(value_2.<!UNRESOLVED_REFERENCE!>inv<!>()) }
when { value_1.case_8_3(value_2, value_3, value_4) == null -> <!AMBIGUITY!>println<!>(value_3.<!UNRESOLVED_REFERENCE!>toByte<!>()) }
when { value_1.case_8_3(value_2, value_3, value_4) == null -> println(value_4.<!INAPPLICABLE_CANDIDATE!>length<!>) }
when { value_1.case_8_4(value_2, value_3, value_4) != null -> <!AMBIGUITY!>println<!>(value_2.inv()) }
when { value_1.case_8_4(value_2, value_3, value_4) != null -> <!AMBIGUITY!>println<!>(value_2.<!UNRESOLVED_REFERENCE!>inv<!>()) }
when { value_1.case_8_4(value_2, value_3, value_4) != null -> <!AMBIGUITY!>println<!>(value_3.<!UNRESOLVED_REFERENCE!>toByte<!>()) }
when { value_1.case_8_4(value_2, value_3, value_4) != null -> println(value_4.<!INAPPLICABLE_CANDIDATE!>length<!>) }
}
compiler/tests-spec/testData/diagnostics/notLinked/contracts/analysis/smartcasts/neg/7.fir.kt
Vendored
+15 -15
View File
@@ -210,7 +210,7 @@ import contracts.*
// TESTCASE NUMBER: 1
fun case_1(value_1: Int?) {
case_1_1(value_1)
value_1.inv()
value_1.<!INAPPLICABLE_CANDIDATE!>inv<!>()
case_1_2(value_1)
value_1.inv()
case_1_1(value_1)
@@ -222,7 +222,7 @@ fun case_2(value_1: Number?) {
case_2_1(value_1)
value_1.<!INAPPLICABLE_CANDIDATE!>toByte<!>()
case_2_2(value_1)
value_1.inv()
value_1.<!UNRESOLVED_REFERENCE!>inv<!>()
}
// TESTCASE NUMBER: 3
@@ -240,13 +240,13 @@ fun case_4(value_1: Any?) {
<!INAPPLICABLE_CANDIDATE!>case_4_2<!>(value_1)
value_1.<!UNRESOLVED_REFERENCE!>toByte<!>()
<!INAPPLICABLE_CANDIDATE!>case_4_3<!>(value_1)
value_1.inv()
value_1.<!UNRESOLVED_REFERENCE!>inv<!>()
}
// TESTCASE NUMBER: 5
fun case_5(value_1: Int?) {
if (case_5_1(value_1)) {
value_1.inv()
value_1.<!INAPPLICABLE_CANDIDATE!>inv<!>()
if (case_5_2(value_1)) {
value_1.inv()
case_5_1(value_1)
@@ -254,7 +254,7 @@ fun case_5(value_1: Int?) {
}
}
if (!case_5_3(value_1)) {
value_1.inv()
value_1.<!INAPPLICABLE_CANDIDATE!>inv<!>()
if (!case_5_4(value_1)) {
value_1.inv()
case_5_1(value_1)
@@ -262,7 +262,7 @@ fun case_5(value_1: Int?) {
}
}
if (case_5_5(value_1) != null) {
value_1.inv()
value_1.<!INAPPLICABLE_CANDIDATE!>inv<!>()
if (case_5_6(value_1) != null) {
value_1.inv()
case_5_1(value_1)
@@ -270,7 +270,7 @@ fun case_5(value_1: Int?) {
}
}
if (case_5_7(value_1) == null) {
value_1.inv()
value_1.<!INAPPLICABLE_CANDIDATE!>inv<!>()
if (case_5_8(value_1) == null) {
value_1.inv()
case_5_1(value_1)
@@ -284,25 +284,25 @@ fun case_6(value_1: Number?) {
when {
case_6_1(value_1) -> {
value_1.<!INAPPLICABLE_CANDIDATE!>toByte<!>()
when { case_6_2(value_1) -> value_1.inv() }
when { case_6_2(value_1) -> value_1.<!UNRESOLVED_REFERENCE!>inv<!>() }
}
}
when {
!case_6_3(value_1) -> {
value_1.<!INAPPLICABLE_CANDIDATE!>toByte<!>()
when { !case_6_4(value_1) -> value_1.inv() }
when { !case_6_4(value_1) -> value_1.<!UNRESOLVED_REFERENCE!>inv<!>() }
}
}
when {
case_6_5(value_1) != null -> {
value_1.<!INAPPLICABLE_CANDIDATE!>toByte<!>()
when { case_6_6(value_1) != null -> value_1.inv() }
when { case_6_6(value_1) != null -> value_1.<!UNRESOLVED_REFERENCE!>inv<!>() }
}
}
when {
case_6_7(value_1) == null -> {
value_1.<!INAPPLICABLE_CANDIDATE!>toByte<!>()
when { case_6_8(value_1) == null -> value_1.inv() }
when { case_6_8(value_1) == null -> value_1.<!UNRESOLVED_REFERENCE!>inv<!>() }
}
}
}
@@ -333,28 +333,28 @@ fun case_8(value_1: Any?) {
value_1?.<!UNRESOLVED_REFERENCE!>toByte<!>()
if (<!INAPPLICABLE_CANDIDATE!>case_8_2<!>(value_1)) {
value_1.<!UNRESOLVED_REFERENCE!>toByte<!>()
if (<!INAPPLICABLE_CANDIDATE!>case_8_3<!>(value_1)) value_1.inv()
if (<!INAPPLICABLE_CANDIDATE!>case_8_3<!>(value_1)) value_1.<!UNRESOLVED_REFERENCE!>inv<!>()
}
}
if (!case_8_4(value_1)) {
value_1?.<!UNRESOLVED_REFERENCE!>toByte<!>()
if (!<!INAPPLICABLE_CANDIDATE!>case_8_5<!>(value_1)) {
value_1.<!UNRESOLVED_REFERENCE!>toByte<!>()
if (!<!INAPPLICABLE_CANDIDATE!>case_8_6<!>(value_1)) value_1.inv()
if (!<!INAPPLICABLE_CANDIDATE!>case_8_6<!>(value_1)) value_1.<!UNRESOLVED_REFERENCE!>inv<!>()
}
}
if (case_8_7(value_1) == null) {
value_1?.<!UNRESOLVED_REFERENCE!>toByte<!>()
if (<!INAPPLICABLE_CANDIDATE!>case_8_8<!>(value_1) != null) {
value_1.<!UNRESOLVED_REFERENCE!>toByte<!>()
if (<!INAPPLICABLE_CANDIDATE!>case_8_9<!>(value_1) != null) value_1.inv()
if (<!INAPPLICABLE_CANDIDATE!>case_8_9<!>(value_1) != null) value_1.<!UNRESOLVED_REFERENCE!>inv<!>()
}
}
if (case_8_10(value_1) != null) {
value_1?.<!UNRESOLVED_REFERENCE!>toByte<!>()
if (<!INAPPLICABLE_CANDIDATE!>case_8_11<!>(value_1) == null) {
value_1.<!UNRESOLVED_REFERENCE!>toByte<!>()
if (<!INAPPLICABLE_CANDIDATE!>case_8_12<!>(value_1) == null) value_1.inv()
if (<!INAPPLICABLE_CANDIDATE!>case_8_12<!>(value_1) == null) value_1.<!UNRESOLVED_REFERENCE!>inv<!>()
}
}
}
compiler/tests-spec/testData/diagnostics/notLinked/contracts/analysis/smartcasts/neg/8.fir.kt
Vendored
+4 -4
View File
@@ -62,7 +62,7 @@ fun case_1(value_1: Any?) {
<!AMBIGUITY!>println<!>(value_1?.<!UNRESOLVED_REFERENCE!>toByte<!>())
if (funWithReturnsTrue(value_1 !is Number)) {
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>toByte<!>())
if (funWithReturnsNotNull(value_1 is Int) == null) <!AMBIGUITY!>println<!>(value_1.inv())
if (funWithReturnsNotNull(value_1 is Int) == null) <!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>inv<!>())
}
}
@@ -72,7 +72,7 @@ fun case_2(value_1: Any?) {
<!AMBIGUITY!>println<!>(value_1?.<!UNRESOLVED_REFERENCE!>toByte<!>())
funWithReturns(value_1 !is Number)
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>toByte<!>())
if (funWithReturnsNull(value_1 !is Int) == null) <!AMBIGUITY!>println<!>(value_1.inv())
if (funWithReturnsNull(value_1 !is Int) == null) <!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>inv<!>())
}
}
@@ -91,7 +91,7 @@ fun case_3(value_1: Int?, value_2: Any?) {
// TESTCASE NUMBER: 4
fun case_4(value_1: Number, value_2: (() -> Unit)?) {
if (contracts.case_4(value_1, value_2) == true) {
value_1.inv()
value_1.<!UNRESOLVED_REFERENCE!>inv<!>()
} else if (contracts.case_4(value_1, value_2) == false) {
println(value_2)
} else if (contracts.case_4(value_1, value_2) == null) {
@@ -108,7 +108,7 @@ fun case_5(value_1: Number?, value_2: String?) {
}
false -> {
println(value_2.<!INAPPLICABLE_CANDIDATE!>length<!>)
<!AMBIGUITY!>println<!>(value_1.inv())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>inv<!>())
}
}
}
compiler/tests-spec/testData/diagnostics/notLinked/contracts/analysis/smartcasts/neg/9.fir.kt
Vendored
+2 -2
View File
@@ -4,13 +4,13 @@
// TESTCASE NUMBER: 1
fun case_1(arg: Int?) {
funWithAtMostOnceCallsInPlace { arg!! }
arg.<!AMBIGUITY!>inc<!>()
arg.<!INAPPLICABLE_CANDIDATE!>inc<!>()
}
// TESTCASE NUMBER: 2
fun case_2(arg: Int?) {
funWithUnknownCallsInPlace { arg!! }
arg.<!AMBIGUITY!>inc<!>()
arg.<!INAPPLICABLE_CANDIDATE!>inc<!>()
}
// TESTCASE NUMBER: 3
compiler/tests-spec/testData/diagnostics/notLinked/contracts/analysis/smartcasts/pos/11.fir.kt
Vendored
+4 -4
View File
@@ -51,8 +51,8 @@ class case_3 {
fun case_3(value_1: Any?, value_2: Number?) {
val o = case_3()
contracts.case_3(value_1, value_2, o.prop_1, this.prop_1)
<!AMBIGUITY!>println<!>(o.prop_1.<!AMBIGUITY!>plus<!>(3))
<!AMBIGUITY!>println<!>(this.prop_1.<!AMBIGUITY!>plus<!>(3))
<!AMBIGUITY!>println<!>(o.prop_1.<!NONE_APPLICABLE!>plus<!>(3))
<!AMBIGUITY!>println<!>(this.prop_1.<!NONE_APPLICABLE!>plus<!>(3))
}
}
@@ -62,8 +62,8 @@ class case_4 {
fun case_4(value_1: Any?, value_2: Number?) {
val o = case_4()
if (contracts.case_4(value_1, value_2, o.prop_1, this.prop_1)) {
<!AMBIGUITY!>println<!>(o.prop_1.<!AMBIGUITY!>plus<!>(3))
<!AMBIGUITY!>println<!>(this.prop_1.<!AMBIGUITY!>plus<!>(3))
<!AMBIGUITY!>println<!>(o.prop_1.<!NONE_APPLICABLE!>plus<!>(3))
<!AMBIGUITY!>println<!>(this.prop_1.<!NONE_APPLICABLE!>plus<!>(3))
}
}
}
compiler/tests-spec/testData/diagnostics/notLinked/contracts/analysis/smartcasts/pos/12.fir.kt
Vendored
+1 -1
View File
@@ -10,7 +10,7 @@ fun case_1(arg: Int?) {
// TESTCASE NUMBER: 2
fun case_2(arg: Int?) {
funWithAtLeastOnceCallsInPlace { arg!! }
arg.<!AMBIGUITY!>inc<!>()
arg.<!INAPPLICABLE_CANDIDATE!>inc<!>()
}
// TESTCASE NUMBER: 3
compiler/tests-spec/testData/diagnostics/notLinked/contracts/analysis/smartcasts/pos/14.fir.kt
Vendored
+3 -3
View File
@@ -49,21 +49,21 @@ import contracts.*
// TESTCASE NUMBER: 1
fun case_1(value_1: Int?) {
if (contracts.case_1(value_1)!!) {
value_1.inv()
value_1.<!INAPPLICABLE_CANDIDATE!>inv<!>()
}
}
// TESTCASE NUMBER: 2
fun case_2(value_1: Int?) {
if (!contracts.case_2(value_1)!!) {
value_1.inv()
value_1.<!INAPPLICABLE_CANDIDATE!>inv<!>()
}
}
// TESTCASE NUMBER: 3
fun case_3(value_1: Int?) {
if (contracts.case_3(value_1)!!) {
value_1.inv()
value_1.<!INAPPLICABLE_CANDIDATE!>inv<!>()
}
}
compiler/tests-spec/testData/diagnostics/notLinked/contracts/analysis/smartcasts/pos/3.fir.kt
Vendored
+10 -10
View File
@@ -102,9 +102,9 @@ class case_3_class {
fun case_3(value_1: Any?, value_2: Number?) {
val o = case_3_class()
contracts.case_3(value_1, value_2, o.prop_1, this.prop_1)
<!AMBIGUITY!>println<!>(value_1.<!AMBIGUITY!>dec<!>())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>dec<!>())
println(value_2?.toByte())
<!AMBIGUITY!>println<!>(o.prop_1.<!AMBIGUITY!>plus<!>(3))
<!AMBIGUITY!>println<!>(o.prop_1.<!NONE_APPLICABLE!>plus<!>(3))
}
}
@@ -154,24 +154,24 @@ class case_6_class {
fun case_6(value_1: Any?, value_2: Number?) {
val o = case_6_class()
if (contracts.case_6_1(value_1, value_2, o.prop_1, this.prop_1)) {
<!AMBIGUITY!>println<!>(value_1.<!AMBIGUITY!>dec<!>())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>dec<!>())
println(value_2?.toByte())
<!AMBIGUITY!>println<!>(o.prop_1.<!AMBIGUITY!>plus<!>(3))
<!AMBIGUITY!>println<!>(o.prop_1.<!NONE_APPLICABLE!>plus<!>(3))
}
if (!contracts.case_6_2(value_1, value_2, o.prop_1, this.prop_1)) {
<!AMBIGUITY!>println<!>(value_1.<!AMBIGUITY!>dec<!>())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>dec<!>())
println(value_2?.toByte())
<!AMBIGUITY!>println<!>(o.prop_1.<!AMBIGUITY!>plus<!>(3))
<!AMBIGUITY!>println<!>(o.prop_1.<!NONE_APPLICABLE!>plus<!>(3))
}
if (contracts.case_6_3(value_1, value_2, o.prop_1, this.prop_1) != null) {
<!AMBIGUITY!>println<!>(value_1.<!AMBIGUITY!>dec<!>())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>dec<!>())
println(value_2?.toByte())
<!AMBIGUITY!>println<!>(o.prop_1.<!AMBIGUITY!>plus<!>(3))
<!AMBIGUITY!>println<!>(o.prop_1.<!NONE_APPLICABLE!>plus<!>(3))
}
if (contracts.case_6_4(value_1, value_2, o.prop_1, this.prop_1) == null) {
<!AMBIGUITY!>println<!>(value_1.<!AMBIGUITY!>dec<!>())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>dec<!>())
println(value_2?.toByte())
<!AMBIGUITY!>println<!>(o.prop_1.<!AMBIGUITY!>plus<!>(3))
<!AMBIGUITY!>println<!>(o.prop_1.<!NONE_APPLICABLE!>plus<!>(3))
}
}
}
compiler/tests-spec/testData/diagnostics/notLinked/contracts/analysis/smartcasts/pos/5.fir.kt
Vendored
+10 -10
View File
@@ -91,13 +91,13 @@ fun case_1(value_1: Any?) {
// TESTCASE NUMBER: 2
fun case_2(value_1: Number?) {
value_1.case_2()
<!AMBIGUITY!>println<!>(value_1.inv())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>inv<!>())
}
// TESTCASE NUMBER: 3
fun case_3(value_1: Any?) {
value_1.case_3()
<!AMBIGUITY!>println<!>(value_1.inv())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>inv<!>())
}
// TESTCASE NUMBER: 4
@@ -110,16 +110,16 @@ fun case_4(value_1: Any?, value_2: Any?, value_3: Any?) {
// TESTCASE NUMBER: 5
fun case_5(value_1: Number?, value_2: Number?, value_3: Number?) {
if (value_1.case_5_1()) <!AMBIGUITY!>println<!>(value_1.inv())
if (!value_2.case_5_2()) <!AMBIGUITY!>println<!>(value_2.inv())
if (value_3.case_5_3() != null) <!AMBIGUITY!>println<!>(value_3.inv())
if (value_3.case_5_4() == null) <!AMBIGUITY!>println<!>(value_3.inv())
if (value_1.case_5_1()) <!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>inv<!>())
if (!value_2.case_5_2()) <!AMBIGUITY!>println<!>(value_2.<!UNRESOLVED_REFERENCE!>inv<!>())
if (value_3.case_5_3() != null) <!AMBIGUITY!>println<!>(value_3.<!UNRESOLVED_REFERENCE!>inv<!>())
if (value_3.case_5_4() == null) <!AMBIGUITY!>println<!>(value_3.<!UNRESOLVED_REFERENCE!>inv<!>())
}
// TESTCASE NUMBER: 6
fun case_6(value_1: Any?, value_2: Any?, value_3: Any?) {
if (value_1.case_6_1()) <!AMBIGUITY!>println<!>(value_1.inv())
if (!value_2.case_6_2()) <!AMBIGUITY!>println<!>(value_2.inv())
if (value_3.case_6_3() != null) <!AMBIGUITY!>println<!>(value_3.inv())
if (value_3.case_6_4() == null) <!AMBIGUITY!>println<!>(value_3.inv())
if (value_1.case_6_1()) <!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>inv<!>())
if (!value_2.case_6_2()) <!AMBIGUITY!>println<!>(value_2.<!UNRESOLVED_REFERENCE!>inv<!>())
if (value_3.case_6_3() != null) <!AMBIGUITY!>println<!>(value_3.<!UNRESOLVED_REFERENCE!>inv<!>())
if (value_3.case_6_4() == null) <!AMBIGUITY!>println<!>(value_3.<!UNRESOLVED_REFERENCE!>inv<!>())
}
compiler/tests-spec/testData/diagnostics/notLinked/contracts/analysis/smartcasts/pos/6.fir.kt
Vendored
+20 -20
View File
@@ -110,27 +110,27 @@ import contracts.*
fun case_1(value_1: Any?, value_2: Int?) {
value_1.case_1(value_2)
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>length<!>)
<!AMBIGUITY!>println<!>(value_2.inv())
println(value_2.<!INAPPLICABLE_CANDIDATE!>inv<!>())
}
// TESTCASE NUMBER: 2
fun case_2(value_1: Number?, value_2: Any?) {
value_1.case_2(value_2)
<!AMBIGUITY!>println<!>(value_1.inv())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>inv<!>())
<!AMBIGUITY!>println<!>(value_2.<!UNRESOLVED_REFERENCE!>toByte<!>())
}
// TESTCASE NUMBER: 3
fun case_3(value_1: Any?, value_2: String?) {
value_1.case_3(value_2)
<!AMBIGUITY!>println<!>(value_1.inv())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>inv<!>())
println(value_2.<!INAPPLICABLE_CANDIDATE!>length<!>)
}
// TESTCASE NUMBER: 4
fun case_4(value_1: Any?, value_2: Number, value_3: Any?, value_4: String?) {
value_1.case_4(value_2, value_3, value_4)
<!AMBIGUITY!>println<!>(value_2.inv())
<!AMBIGUITY!>println<!>(value_2.<!UNRESOLVED_REFERENCE!>inv<!>())
<!AMBIGUITY!>println<!>(value_3.<!UNRESOLVED_REFERENCE!>toByte<!>())
println(value_4.<!INAPPLICABLE_CANDIDATE!>length<!>)
}
@@ -140,25 +140,25 @@ fun case_5(value_1: Any?, value_2: Int?, value_3: Any?, value_4: Int?, value_5:
when {
value_1.case_5_1(value_2) -> {
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>length<!>)
<!AMBIGUITY!>println<!>(value_2.inv())
println(value_2.<!INAPPLICABLE_CANDIDATE!>inv<!>())
}
}
when {
!value_3.case_5_2(value_4) -> {
<!AMBIGUITY!>println<!>(value_3.<!UNRESOLVED_REFERENCE!>length<!>)
<!AMBIGUITY!>println<!>(value_4.inv())
println(value_4.<!INAPPLICABLE_CANDIDATE!>inv<!>())
}
}
when {
value_5.case_5_3(value_6) != null -> {
<!AMBIGUITY!>println<!>(value_5.<!UNRESOLVED_REFERENCE!>length<!>)
<!AMBIGUITY!>println<!>(value_6.inv())
println(value_6.<!INAPPLICABLE_CANDIDATE!>inv<!>())
}
}
when {
value_5.case_5_4(value_6) == null -> {
<!AMBIGUITY!>println<!>(value_5.<!UNRESOLVED_REFERENCE!>length<!>)
<!AMBIGUITY!>println<!>(value_6.inv())
println(value_6.<!INAPPLICABLE_CANDIDATE!>inv<!>())
}
}
}
@@ -166,19 +166,19 @@ fun case_5(value_1: Any?, value_2: Int?, value_3: Any?, value_4: Int?, value_5:
// TESTCASE NUMBER: 6
fun case_6(value_1: Number?, value_2: Any?, value_3: Number?, value_4: Any?, value_5: Number?, value_6: Any?) {
if (value_1.case_6_1(value_2)) {
<!AMBIGUITY!>println<!>(value_1.inv())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>inv<!>())
<!AMBIGUITY!>println<!>(value_2.<!UNRESOLVED_REFERENCE!>toByte<!>())
}
if (!value_3.case_6_2(value_4)) {
<!AMBIGUITY!>println<!>(value_3.inv())
<!AMBIGUITY!>println<!>(value_3.<!UNRESOLVED_REFERENCE!>inv<!>())
<!AMBIGUITY!>println<!>(value_4.<!UNRESOLVED_REFERENCE!>toByte<!>())
}
if (value_5.case_6_3(value_6) != null) {
<!AMBIGUITY!>println<!>(value_5.inv())
<!AMBIGUITY!>println<!>(value_5.<!UNRESOLVED_REFERENCE!>inv<!>())
<!AMBIGUITY!>println<!>(value_6.<!UNRESOLVED_REFERENCE!>toByte<!>())
}
if (value_5.case_6_4(value_6) == null) {
<!AMBIGUITY!>println<!>(value_5.inv())
<!AMBIGUITY!>println<!>(value_5.<!UNRESOLVED_REFERENCE!>inv<!>())
<!AMBIGUITY!>println<!>(value_6.<!UNRESOLVED_REFERENCE!>toByte<!>())
}
}
@@ -186,35 +186,35 @@ fun case_6(value_1: Number?, value_2: Any?, value_3: Number?, value_4: Any?, val
// TESTCASE NUMBER: 7
fun case_7(value_1: Any?, value_2: String?, value_3: Any?, value_4: String?, value_5: Any?, value_6: String?) {
if (value_1.case_7_1(value_2)) {
<!AMBIGUITY!>println<!>(value_1.inv())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>inv<!>())
println(value_2.<!INAPPLICABLE_CANDIDATE!>length<!>)
}
if (value_3.case_7_2(value_4)) {
<!AMBIGUITY!>println<!>(value_3.inv())
<!AMBIGUITY!>println<!>(value_3.<!UNRESOLVED_REFERENCE!>inv<!>())
println(value_4.<!INAPPLICABLE_CANDIDATE!>length<!>)
}
if (value_5.case_7_3(value_6) != null) {
<!AMBIGUITY!>println<!>(value_5.inv())
<!AMBIGUITY!>println<!>(value_5.<!UNRESOLVED_REFERENCE!>inv<!>())
println(value_6.<!INAPPLICABLE_CANDIDATE!>length<!>)
}
if (value_5.case_7_4(value_6) == null) {
<!AMBIGUITY!>println<!>(value_5.inv())
<!AMBIGUITY!>println<!>(value_5.<!UNRESOLVED_REFERENCE!>inv<!>())
println(value_6.<!INAPPLICABLE_CANDIDATE!>length<!>)
}
}
// TESTCASE NUMBER: 8
fun case_8(value_1: Any?, value_2: Number, value_3: Any?, value_4: String?, value_5: Any?, value_6: Number, value_7: Any?, value_8: String?) {
when { value_1.case_8_1(value_2, value_3, value_4) -> <!AMBIGUITY!>println<!>(value_2.inv()) }
when { value_1.case_8_1(value_2, value_3, value_4) -> <!AMBIGUITY!>println<!>(value_2.<!UNRESOLVED_REFERENCE!>inv<!>()) }
when { value_1.case_8_1(value_2, value_3, value_4) -> <!AMBIGUITY!>println<!>(value_3.<!UNRESOLVED_REFERENCE!>toByte<!>()) }
when { value_1.case_8_1(value_2, value_3, value_4) -> println(value_4.<!INAPPLICABLE_CANDIDATE!>length<!>) }
when { !value_5.case_8_2(value_6, value_7, value_8) -> <!AMBIGUITY!>println<!>(value_6.inv()) }
when { !value_5.case_8_2(value_6, value_7, value_8) -> <!AMBIGUITY!>println<!>(value_6.<!UNRESOLVED_REFERENCE!>inv<!>()) }
when { !value_5.case_8_2(value_6, value_7, value_8) -> <!AMBIGUITY!>println<!>(value_7.<!UNRESOLVED_REFERENCE!>toByte<!>()) }
when { !value_5.case_8_2(value_6, value_7, value_8) -> println(value_8.<!INAPPLICABLE_CANDIDATE!>length<!>) }
when { value_5.case_8_3(value_6, value_7, value_8) != null -> <!AMBIGUITY!>println<!>(value_6.inv()) }
when { value_5.case_8_3(value_6, value_7, value_8) != null -> <!AMBIGUITY!>println<!>(value_6.<!UNRESOLVED_REFERENCE!>inv<!>()) }
when { value_5.case_8_3(value_6, value_7, value_8) != null -> <!AMBIGUITY!>println<!>(value_7.<!UNRESOLVED_REFERENCE!>toByte<!>()) }
when { value_5.case_8_3(value_6, value_7, value_8) != null -> println(value_8.<!INAPPLICABLE_CANDIDATE!>length<!>) }
when { value_5.case_8_4(value_6, value_7, value_8) == null -> <!AMBIGUITY!>println<!>(value_6.inv()) }
when { value_5.case_8_4(value_6, value_7, value_8) == null -> <!AMBIGUITY!>println<!>(value_6.<!UNRESOLVED_REFERENCE!>inv<!>()) }
when { value_5.case_8_4(value_6, value_7, value_8) == null -> <!AMBIGUITY!>println<!>(value_7.<!UNRESOLVED_REFERENCE!>toByte<!>()) }
when { value_5.case_8_4(value_6, value_7, value_8) == null -> println(value_8.<!INAPPLICABLE_CANDIDATE!>length<!>) }
}
compiler/tests-spec/testData/diagnostics/notLinked/contracts/analysis/smartcasts/pos/8.fir.kt
Vendored
+1 -1
View File
@@ -133,7 +133,7 @@ fun case_6(value_1: Number, value_2: String?, value_3: Any?) {
println(value_2.<!INAPPLICABLE_CANDIDATE!>length<!>)
}
null -> {
<!AMBIGUITY!>println<!>(value_1.inv())
<!AMBIGUITY!>println<!>(value_1.<!UNRESOLVED_REFERENCE!>inv<!>())
}
}
}