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

Add more tests for inline class equality

Browse Source
This commit is contained in:
Steven Schäfer
2019-08-22 16:02:43 +02:00
committed by Alexander Udalov
parent cdc5e1347b
commit b85b2d9af8
23 changed files with 1028 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/testData/codegen/box/inlineClasses/equalityChecksNegatedInlineClassNonNull.kt
Vendored
+50
View File
@@ -0,0 +1,50 @@
// !LANGUAGE: +InlineClasses
inline class Inner(val w: String)
inline class A(val x: Inner)
fun isNotNullVacuousLeft(s: A) = s != null
fun isNotNullVacuousRight(s: A) = null != s
fun isNotNullLeft(s: A?) = s != null
fun isNotNullRight(s: A?) = null != s
fun isNotEqualSame(s: A, t: A) = s != t
fun isNotEqualAnyLeft(s: A, t: Any?) = s != t
fun isNotEqualAnyRight(s: Any?, t: A) = s != t
fun isNotEqualSameNullable(s: A?, t: A?) = s != t
fun isNotEqualAnyNullableLeft(s: A?, t: Any?) = s != t
fun isNotEqualAnyNullableRight(s: Any?, t: A?) = s != t
fun box(): String {
if (!isNotNullVacuousLeft(A(Inner("")))) return "Fail 1"
if (!isNotNullVacuousRight(A(Inner("")))) return "Fail 2"
if (!isNotNullLeft(A(Inner("")))) return "Fail 3"
if (!isNotNullRight(A(Inner("")))) return "Fail 4"
if (isNotNullLeft(null)) return "Fail 5"
if (isNotNullRight(null)) return "Fail 6"
if (isNotEqualSame(A(Inner("")), A(Inner("")))) return "Fail 7"
if (!isNotEqualSame(A(Inner("")), A(Inner("a")))) return "Fail 8"
if (!isNotEqualAnyLeft(A(Inner("")), Inner(""))) return "Fail 9"
if (!isNotEqualAnyLeft(A(Inner("")), null)) return "Fail 10"
if (isNotEqualAnyLeft(A(Inner("")), A(Inner("")))) return "Fail 11"
if (!isNotEqualAnyRight(Inner(""), A(Inner("")))) return "Fail 12"
if (!isNotEqualAnyRight(null, A(Inner("")))) return "Fail 13"
if (isNotEqualAnyRight(A(Inner("")), A(Inner("")))) return "Fail 14"
if (isNotEqualSameNullable(null, null)) return "Fail 15"
if (isNotEqualSameNullable(A(Inner("")), A(Inner("")))) return "Fail 16"
if (!isNotEqualSameNullable(null, A(Inner("")))) return "Fail 17"
if (!isNotEqualSameNullable(A(Inner("")), null)) return "Fail 18"
if (!isNotEqualSameNullable(A(Inner("")), A(Inner("a")))) return "Fail 19"
if (isNotEqualAnyNullableLeft(null, null)) return "Fail 20"
if (isNotEqualAnyNullableLeft(A(Inner("")), A(Inner("")))) return "Fail 21"
if (!isNotEqualAnyNullableLeft(A(Inner("")), "")) return "Fail 22"
if (!isNotEqualAnyNullableLeft(null, Inner(""))) return "Fail 23"
if (!isNotEqualAnyNullableLeft(A(Inner("")), null)) return "Fail 24"
if (!isNotEqualAnyNullableLeft(A(Inner("")), A(Inner("a")))) return "Fail 25"
if (isNotEqualAnyNullableRight(null, null)) return "Fail 26"
if (isNotEqualAnyNullableRight(A(Inner("a")), A(Inner("a")))) return "Fail 27"
if (!isNotEqualAnyNullableRight(Inner(""), A(Inner("")))) return "Fail 28"
if (!isNotEqualAnyNullableRight(Inner(""), null)) return "Fail 29"
if (!isNotEqualAnyNullableRight(null, A(Inner("")))) return "Fail 30"
if (!isNotEqualAnyNullableRight(A(Inner("a")), A(Inner("b")))) return "Fail 31"
return "OK"
}