KT-43217 Encode @EnhancedNullability types in IdSignature

2020-11-09 08:37:00 +03:00
parent f6df624c6b
commit b9c6267a63
21 changed files with 470 additions and 2 deletions
@@ -0,0 +1,57 @@
+// TARGET_BACKEND: JVM
+// FILE: kt43217.kt
+class A {
+    private val b =
+        object : DoubleExpression() {
+            override fun get(): Double {
+                return 0.0
+            }
+        }
+
+    val test: DoubleExpression = b
+}
+
+class C : DoubleExpression() {
+    override fun get() = 0.0
+}
+
+fun box(): String {
+    if (A().test.get() != 0.0) throw AssertionError("A().test.get() != 0.0")
+
+    if (C().get() != 0.0) throw AssertionError("C().get() != 0.0")
+
+    return "OK"
+}
+
+// FILE: DoubleExpression.java
+import org.jetbrains.annotations.NotNull;
+
+public abstract class DoubleExpression implements ObservableDouble {
+    @NotNull
+    @Override
+    public Object isEqualTo(double value) {
+        return null;
+    }
+}
+
+// FILE: ObservableValue.java
+import org.jetbrains.annotations.NotNull;
+
+public interface ObservableValue<T> {
+    @NotNull
+    T get();
+
+    @NotNull
+    default Object isEqualTo(@NotNull T value) {
+        return null;
+    }
+}
+
+// FILE: ObservableDouble.java
+import org.jetbrains.annotations.NotNull;
+
+public interface ObservableDouble extends ObservableValue<Double> {
+    @NotNull
+    Object isEqualTo(double value);
+}
+