More tests on casts on receiver of inline class type

compiler/testData/codegen/box/inlineClasses/smartCastOnThisOfInlineClassType.kt

@@ -0,0 +1,29 @@
+// !LANGUAGE: +InlineClasses
+// IGNORE_BACKEND: JVM_IR
+
+interface IBase {
+    fun testDefault1() = if (this is B) this.foo() else "fail"
+}
+
+interface IFoo : IBase {
+    fun foo(): String
+
+    fun testDefault2() = if (this is B) this.foo() else "fail"
+}
+
+inline class B(val x: String) : IFoo {
+    override fun foo() = x
+}
+
+fun IBase.test1() = if (this is IFoo) foo() else "fail"
+
+fun IBase.test2() = if (this is B) foo() else "fail"
+
+fun box(): String {
+    if (B("OK").test1() != "OK") throw AssertionError()
+    if (B("OK").test2() != "OK") throw AssertionError()
+    if (B("OK").testDefault1() != "OK") throw AssertionError()
+    if (B("OK").testDefault2() != "OK") throw AssertionError()
+
+    return "OK"
+}