Change variance and nullability of property type in parent

compiler/test/data/typescript/class/inheritance/overrides.d.kt

@@ -29,7 +29,7 @@ external interface BaseEvent {
     fun getDelegateTarget(): Shape
     fun getElement(): Element
     fun <T : Shape> transform(shape: T = definedExternally): T
-    var prop: Any
+    val prop: Any
     fun queryByReturnType(query: String, parameters: Array<Any> = definedExternally): InvariantBox<Any>
     var thisIsNullable: String?
 }
@@ -39,7 +39,7 @@ external open class BoxStringEvent : BaseEvent {
     override fun getDelegateTarget(): Box
     override fun getElement(): HTMLElement
     override fun <T : Shape> transform(shape: T): T
-    override var prop: String
+    override val prop: String
     open fun queryByReturnType(query: String, parameters: Array<Any> = definedExternally): InvariantBox<String>
 }
 
@@ -49,12 +49,12 @@ external interface NumberEvent : BaseEvent {
 }
 
 external open class ParentClass {
-    open var prop: Any
+    open val prop: Any
     open fun ping(message: String)
 }
 
 external open class ChildClass : ParentClass {
-    override var prop: String
+    override val prop: String
     override fun ping(message: String /* "message" */)
 }
 

compiler/test/data/typescript/class/inheritance/overridesFromReferencedFile.d.kt

@@ -22,7 +22,7 @@ external open class BoxStringEvent : BaseEvent {
     override fun getElement(): HTMLElement
     override fun <T : Shape> transform(shape: T): T
     override fun getSortOfEventTarget(): SortOfElement
-    override var prop: String
+    override val prop: String
 }
 
 external interface NumberEvent : BaseEvent {
@@ -65,5 +65,5 @@ external interface BaseEvent {
     fun getElement(): Element
     fun <T : Shape> transform(shape: T = definedExternally): T
     fun getSortOfEventTarget(): SortOfEventTarget
-    var prop: Any
+    val prop: Any
 }

compiler/test/data/typescript/class/inheritance/overridingStdLib.d.kt

@@ -17,8 +17,8 @@ import org.w3c.workers.*
 import org.w3c.xhr.*
 
 external interface AppEvent : Event {
-    override var currentTarget: Element?
-    override var target: Element?
+    override val currentTarget: Element?
+    override val target: Element?
     fun preventDefault(): Any
 }
 

compiler/test/data/typescript/class/override/simple.d.kt

@@ -19,12 +19,12 @@ import org.w3c.xhr.*
 external open class Foo {
     open fun bar()
     open fun bar(a: Number)
-    open var baz: Any
+    open val baz: Any
 }
 
 external open class Boo : Foo {
     override fun bar()
     override fun bar(a: Number)
     open fun bar(a: String)
-    override var baz: Number
+    override val baz: Number
 }

compiler/test/data/typescript/interface/override/simple.d.kt

@@ -19,12 +19,12 @@ import org.w3c.xhr.*
 external interface Foo {
     fun bar()
     fun bar(a: Number)
-    var baz: Any
+    val baz: Any
 }
 
 external interface Boo : Foo {
     override fun bar()
     override fun bar(b: Number)
     fun bar(c: String)
-    override var baz: Number
+    override val baz: Number
 }

compiler/test/data/typescript/override/varConflict.d.kt

@@ -0,0 +1,30 @@
+// [test] varConflict.kt
+@file:Suppress("INTERFACE_WITH_SUPERCLASS", "OVERRIDING_FINAL_MEMBER", "RETURN_TYPE_MISMATCH_ON_OVERRIDE", "CONFLICTING_OVERLOADS")
+
+import kotlin.js.*
+import kotlin.js.Json
+import org.khronos.webgl.*
+import org.w3c.dom.*
+import org.w3c.dom.events.*
+import org.w3c.dom.parsing.*
+import org.w3c.dom.svg.*
+import org.w3c.dom.url.*
+import org.w3c.fetch.*
+import org.w3c.files.*
+import org.w3c.notifications.*
+import org.w3c.performance.*
+import org.w3c.workers.*
+import org.w3c.xhr.*
+
+external open class B {
+    open val x: Boolean
+}
+
+external interface C {
+    val x: Boolean?
+        get() = definedExternally
+}
+
+external open class A : B, C {
+    override val x: Boolean
+}

compiler/test/data/typescript/override/varConflict.d.ts

@@ -0,0 +1,11 @@
+declare class B {
+    x: boolean
+}
+
+declare interface C {
+    x?: boolean
+}
+
+declare class A extends B implements C {
+    x: boolean
+}

compiler/test/data/typescript/override/varConflictWithoutPropertyInChild.d.kt

@@ -0,0 +1,30 @@
+// [test] varConflictWithoutPropertyInChild.kt
+@file:Suppress("INTERFACE_WITH_SUPERCLASS", "OVERRIDING_FINAL_MEMBER", "RETURN_TYPE_MISMATCH_ON_OVERRIDE", "CONFLICTING_OVERLOADS")
+
+import kotlin.js.*
+import kotlin.js.Json
+import org.khronos.webgl.*
+import org.w3c.dom.*
+import org.w3c.dom.events.*
+import org.w3c.dom.parsing.*
+import org.w3c.dom.svg.*
+import org.w3c.dom.url.*
+import org.w3c.fetch.*
+import org.w3c.files.*
+import org.w3c.notifications.*
+import org.w3c.performance.*
+import org.w3c.workers.*
+import org.w3c.xhr.*
+
+external open class B {
+    open val x: Boolean
+}
+
+external interface C {
+    val x: Boolean?
+        get() = definedExternally
+}
+
+external open class A : B, C {
+    override val x: Boolean
+}

compiler/test/data/typescript/override/varConflictWithoutPropertyInChild.d.ts

@@ -0,0 +1,11 @@
+declare class B {
+    x: boolean
+}
+
+declare interface C {
+    x?: boolean
+}
+
+declare class A extends B implements C {
+
+}

compiler/test/data/typescript/override/variance.d.kt

@@ -0,0 +1,25 @@
+// [test] variance.kt
+@file:Suppress("INTERFACE_WITH_SUPERCLASS", "OVERRIDING_FINAL_MEMBER", "RETURN_TYPE_MISMATCH_ON_OVERRIDE", "CONFLICTING_OVERLOADS")
+
+import kotlin.js.*
+import kotlin.js.Json
+import org.khronos.webgl.*
+import org.w3c.dom.*
+import org.w3c.dom.events.*
+import org.w3c.dom.parsing.*
+import org.w3c.dom.svg.*
+import org.w3c.dom.url.*
+import org.w3c.fetch.*
+import org.w3c.files.*
+import org.w3c.notifications.*
+import org.w3c.performance.*
+import org.w3c.workers.*
+import org.w3c.xhr.*
+
+external open class Observable<T> {
+    open val source: Observable<out Any?>
+}
+
+external open class ConnectableObservable<T> : Observable<T> {
+    override val source: Observable<T>
+}

compiler/test/data/typescript/override/variance.d.ts

@@ -0,0 +1,7 @@
+export declare class Observable<T> {
+    source: Observable<any>
+}
+
+export declare class ConnectableObservable<T> extends Observable<T> {
+    source: Observable<T>
+}

compiler/test/src/org/jetbrains/dukat/compiler/tests/extended/DescriptorTests.kt

@@ -86,7 +86,9 @@ class DescriptorTests {
                 "misc/stringTypeInAlias",
                 "qualifiedNames/extendingEntityFromParentModule",
                 "stdlib/convertTsStdlib",
-                "typePredicate/simple"
+                "typePredicate/simple",
+                "override/varConflict",
+                "override/varConflictWithoutPropertyInChild"
         ).map { it.replace("/", System.getProperty("file.separator")) }
 
         @JvmStatic

model-lowerings-common/build.gradle

@@ -6,6 +6,7 @@ dependencies {
     implementation(project(":ast-common"))
     implementation(project(":ast-model"))
     implementation(project(":graphs"))
+    implementation(project(":itertools"))
     implementation(project(":logging"))
     implementation(project(":ownerContext"))
     implementation(project(":panic"))

model-lowerings-common/src/org/jetbrains/dukat/model/commonLowerings/ModelContextAwareLowering.kt

@@ -5,7 +5,7 @@ import org.jetbrains.dukat.astModel.SourceSetModel
 import org.jetbrains.dukat.graphs.Graph
 import org.jetbrains.dukat.model.commonLowerings.overrides.InheritanceContext
 
-private fun ModelContext.buildInheritanceGraph(): Graph<ClassLikeModel> {
+internal fun ModelContext.buildInheritanceGraph(): Graph<ClassLikeModel> {
     val graph = Graph<ClassLikeModel>()
 
     getClassLikeIterable().forEach { classLike ->

model-lowerings-common/src/org/jetbrains/dukat/model/commonLowerings/OverrideTypeChecker.kt

@@ -27,7 +27,7 @@ internal class OverrideTypeChecker(
     private val context: ModelContext,
     private val inheritanceContext: InheritanceContext,
     private val declaration: ClassLikeModel,
-    private val parent: ClassLikeModel
+    private val parent: ClassLikeModel?
 ) {
 
     private fun TypeModel.isDynamic(): Boolean {
@@ -154,7 +154,7 @@ internal class OverrideTypeChecker(
         }
     }
 
-    private fun TypeModel.isOverridingReturnType(otherParameterType: TypeModel, box: TypeValueModel? = null): Boolean {
+    fun TypeModel.isOverridingReturnType(otherParameterType: TypeModel, box: TypeValueModel? = null): Boolean {
         val inbox = (box == null || box.value == IdentifierEntity("Array"))
 
         if (isEquivalent(otherParameterType) && inbox) {
@@ -192,7 +192,7 @@ internal class OverrideTypeChecker(
                     }
                 }
             } else {
-                return fqName == otherParameterType.fqName
+                return fqName == otherParameterType.fqName && !(otherParameterType.nullable && !nullable)
             }
         }
 
@@ -287,6 +287,9 @@ internal class OverrideTypeChecker(
     }
 
     private fun TypeParameterReferenceModel.isEquivalent(otherTypeParameter: TypeParameterReferenceModel): Boolean {
+        if (parent == null) {
+            return false
+        }
         val otherTypeParameterIndex = parent.typeParameters.indexOfFirst {
             val type = it.type
             type is TypeValueModel && type.value == otherTypeParameter.name
@@ -297,7 +300,7 @@ internal class OverrideTypeChecker(
         return this == relevantHeritage?.typeParams?.getOrNull(otherTypeParameterIndex)
     }
 
-    private fun TypeModel.isEquivalent(otherParameterType: TypeModel): Boolean {
+    fun TypeModel.isEquivalent(otherParameterType: TypeModel): Boolean {
         if (this == otherParameterType) {
             return true
         }

model-lowerings-common/src/org/jetbrains/dukat/model/commonLowerings/lowerOverrides.kt

@@ -28,7 +28,7 @@ import org.jetbrains.dukat.stdlib.KLIBROOT
 import org.jetbrains.dukat.stdlib.TSLIBROOT
 import org.jetbrains.dukat.stdlibGenerator.generated.stdlibClassMethodsMap
 
-private data class MemberData(val fqName: NameEntity?, val memberModel: MemberModel, val ownerModel: ClassLikeModel)
+internal data class MemberData(val fqName: NameEntity?, val memberModel: MemberModel, val ownerModel: ClassLikeModel)
 
 internal enum class MemberOverrideStatus {
     IS_OVERRIDE,
@@ -37,19 +37,28 @@ internal enum class MemberOverrideStatus {
     IS_IMPOSSIBLE
 }
 
-private fun ModelContext.buildInheritanceGraph(): Graph<ClassLikeModel> {
-    val graph = Graph<ClassLikeModel>()
+internal fun ClassLikeModel.getKnownParents(context: ModelContext): List<ResolvedClassLike<out ClassLikeModel>> {
+    return context.getAllParents(this)
+}
+
+internal fun ClassLikeModel.allParentMembers(context: ModelContext): Map<NameEntity?, List<MemberData>> {
+    val memberMap = mutableMapOf<NameEntity?, MutableList<MemberData>>()
 
-    getClassLikeIterable().forEach { classLike ->
-        getAllParents(classLike).forEach { resolvedClassLike ->
-            graph.addEdge(classLike, resolvedClassLike.classLike)
+    getKnownParents(context).forEach { resolvedClassLike ->
+        resolvedClassLike.classLike.members.forEach {
+            when (it) {
+                is NamedModel -> {
+                    if (!resolvedClassLike.existsOnlyInTsStdlib(it)) {
+                        memberMap.getOrPut(it.name) { mutableListOf() }.add(MemberData(resolvedClassLike.fqName, it, resolvedClassLike.classLike))
+                    }
+                }
+            }
         }
     }
 
-    return graph
+    return memberMap
 }
 
-
 private fun <T : ClassLikeModel> ResolvedClassLike<T>.existsOnlyInTsStdlib(member: NamedModel): Boolean {
     return (fqName?.startsWith(TSLIBROOT) == true && (stdlibClassMethodsMap.containsKey(classLike.name)) && (stdlibClassMethodsMap[classLike.name]?.contains(member.name) == false))
 }
@@ -114,10 +123,6 @@ private class ClassLikeOverrideResolver(
         )
     }
 
-    private fun ClassLikeModel.getKnownParents(): List<ResolvedClassLike<out ClassLikeModel>> {
-        return context.getAllParents(this)
-    }
-
     private fun MethodModel.removeDefaultParamValues(override: NameEntity?): MethodModel {
         return copy(override = override, parameters = parameters.map { it.copy(initializer = null) })
     }
@@ -236,24 +241,6 @@ private class ClassLikeOverrideResolver(
         }
     }
 
-    private fun ClassLikeModel.allParentMembers(): Map<NameEntity?, List<MemberData>> {
-        val memberMap = mutableMapOf<NameEntity?, MutableList<MemberData>>()
-
-        getKnownParents().forEach { resolvedClassLike ->
-            resolvedClassLike.classLike.members.forEach {
-                when (it) {
-                    is NamedModel -> {
-                        if (!resolvedClassLike.existsOnlyInTsStdlib(it)) {
-                            memberMap.getOrPut(it.name) { mutableListOf() }.add(MemberData(resolvedClassLike.fqName, it, resolvedClassLike.classLike))
-                        }
-                    }
-                }
-            }
-        }
-
-        return memberMap
-    }
-
     private fun MethodModel.isSpecialCase(): Boolean {
         val returnType = type
 
@@ -277,7 +264,7 @@ private class ClassLikeOverrideResolver(
     }
 
     fun resolve(): ClassLikeModel {
-        val parentMembers = classLike.allParentMembers()
+        val parentMembers = classLike.allParentMembers(context)
 
         val membersLowered = classLike.members.flatMap { member ->
             member.lowerOverrides(parentMembers)