Check type of elvis with expected type info

#KT-6713

compiler/testData/codegen/boxAgainstJava/notNullAssertions/RightElvisOperand.java

@@ -0,0 +1,5 @@
+class RightElvisOperand {
+    static String foo() {
+        return null;
+    }
+}

compiler/testData/codegen/boxAgainstJava/notNullAssertions/RightElvisOperand.kt

@@ -0,0 +1,21 @@
+fun baz(): String? = null
+
+fun bar(): String = baz() ?: RightElvisOperand.foo()
+
+fun foo(x: String) {}
+
+fun box(): String {
+    try {
+        foo(baz() ?: RightElvisOperand.foo())
+        return "Fail: should have been an exception in `foo(baz() ?: RightElvisOperand.foo())`"
+    }
+    catch(e: IllegalStateException) {}
+
+    try {
+        bar()
+        return "Fail: should have been an exception in `bar()`"
+    }
+    catch(e: IllegalStateException) {
+        return "OK"
+    }
+}