Support unboxing of inline classes after assertion operator

2018-02-06 18:30:26 +03:00
parent 30c79ffadc
commit 9f24bbd980
4 changed files with 90 additions and 1 deletions
@@ -0,0 +1,36 @@
+// !LANGUAGE: +InlineClasses
+
+inline class WithPrimitive(val a: Int)
+fun takeWithPrimitive(a: WithPrimitive) {}
+
+inline class WithReference(val a: Any)
+fun takeWithReference(a: WithReference) {}
+
+inline class WithNullableReference(val a: Any?)
+fun takeWithNullableReference(a: WithNullableReference) {}
+
+fun foo(a: WithPrimitive?, b: WithPrimitive) {
+    takeWithPrimitive(a!!) // unbox
+    takeWithPrimitive(a) // unbox
+    takeWithPrimitive(b!!)
+}
+
+fun bar(a: WithReference?, b: WithReference) {
+    takeWithReference(a!!)
+    takeWithReference(a)
+    takeWithReference(b!!)
+}
+
+fun baz(a: WithNullableReference?, b: WithNullableReference) {
+    takeWithNullableReference(a!!) // unbox
+    takeWithNullableReference(a) // unbox
+    takeWithNullableReference(a!!) // unbox
+    takeWithNullableReference(b!!)
+}
+
+// 2 INVOKEVIRTUAL WithPrimitive\.unbox
+// 0 INVOKEVIRTUAL WithReference\.unbox
+// 3 INVOKEVIRTUAL WithNullableReference\.unbox
+
+// 0 intValue
+// 0 valueOf