[FIR] Add diagnostic for missing primary constructor

2020-08-03 15:07:54 +03:00
parent 0f213e58db
commit b76f757d47
9 changed files with 148 additions and 3 deletions
@@ -0,0 +1,11 @@
+class A
+class B : A
+
+class C(x: Int)
+<!INAPPLICABLE_CANDIDATE!>class D : C<!>
+class E : C(10)
+class F() : C(10)
+
+<!SUPERTYPE_INITIALIZED_WITHOUT_PRIMARY_CONSTRUCTOR!>class G : C(10) {
+    constructor() : super(1)
+}<!>
@@ -0,0 +1,43 @@
+FILE: supertypeInitializedWithoutPrimaryConstructor.kt
+    public final class A : R|kotlin/Any| {
+        public constructor(): R|A| {
+            super<R|kotlin/Any|>()
+        }
+
+    }
+    public final class B : R|A| {
+        public constructor(): R|B| {
+            super<R|A|>()
+        }
+
+    }
+    public final class C : R|kotlin/Any| {
+        public constructor(x: R|kotlin/Int|): R|C| {
+            super<R|kotlin/Any|>()
+        }
+
+    }
+    public final class D : R|C| {
+        public constructor(): R|D| {
+            super<R|C|>()
+        }
+
+    }
+    public final class E : R|C| {
+        public constructor(): R|E| {
+            super<R|C|>(Int(10))
+        }
+
+    }
+    public final class F : R|C| {
+        public constructor(): R|F| {
+            super<R|C|>(Int(10))
+        }
+
+    }
+    public final class G : R|C| {
+        public constructor(): R|G| {
+            super<R|C|>(Int(1))
+        }
+
+    }