When checking overrides, compare methods structurally

Because they may come from different copies of the same class from different modules

compiler/testData/diagnostics/tests/multimodule/duplicateSuper/differentSuperTraits.kt

@@ -0,0 +1,31 @@
+// MODULE: m1
+// FILE: x.kt
+package p
+
+public trait Base {
+    public fun foo() {}
+}
+
+public trait A : Base {
+    override fun foo() {}
+}
+
+public trait C : A
+
+
+// MODULE: m2
+// FILE: x.kt
+package p
+
+public trait Base {
+    public fun foo() {}
+}
+
+public trait B : Base
+
+// MODULE: m3(m1, m2)
+// FILE: x.kt
+
+import p.*
+
+class Foo: C, B

compiler/testData/diagnostics/tests/multimodule/duplicateSuper/sameSuperTrait.kt

@@ -0,0 +1,26 @@
+// MODULE: m1
+// FILE: x.kt
+package p
+
+public trait Base {
+    public fun foo() {}
+}
+
+public trait A : Base
+
+// MODULE: m2
+// FILE: x.kt
+package p
+
+public trait Base {
+    public fun foo() {}
+}
+
+public trait B : Base
+
+// MODULE: m3(m1, m2)
+// FILE: x.kt
+
+import p.*
+
+class Foo: A, B

compiler/testData/diagnostics/tests/multimodule/duplicateSuper/sameSuperTraitDifferentBounds.kt

@@ -0,0 +1,29 @@
+// MODULE: m1
+// FILE: x.kt
+package p
+
+public trait Base {
+    public fun <T> foo(t: Array<T>) {}
+}
+
+public trait A : Base
+
+// MODULE: m2
+// FILE: x.kt
+package p
+
+public trait Base {
+    public fun <T: Base> foo(t: Array<T>) {}
+}
+
+public trait B : Base
+
+// MODULE: m3(m1, m2)
+// FILE: x.kt
+
+import p.*
+
+class Foo: A, B {
+    override fun <T> foo(t: Array<T>) {}
+    override fun <T: Base> foo(t: Array<T>) {}
+}

compiler/testData/diagnostics/tests/multimodule/duplicateSuper/sameSuperTraitGenerics.kt

@@ -0,0 +1,26 @@
+// MODULE: m1
+// FILE: x.kt
+package p
+
+public trait Base<T> {
+    public fun foo(t: T) {}
+}
+
+public trait A<T> : Base<T>
+
+// MODULE: m2
+// FILE: x.kt
+package p
+
+public trait Base<T> {
+    public fun foo(t: T) {}
+}
+
+public trait B : Base<String>
+
+// MODULE: m3(m1, m2)
+// FILE: x.kt
+
+import p.*
+
+class Foo: A<String>, B