[Tests] Add test for #KT-61717

compiler/testData/diagnostics/tests/inference/recursiveTypes/kt61717.fir.kt

@@ -0,0 +1,16 @@
+// ISSUE: KT-61717
+interface Foo<B : Foo<B>> {
+    fun <T : B> bar(t: T)
+}
+
+class FooA : Foo<FooA> {
+    override fun <T : FooA> bar(t: T) {}
+}
+
+class FooB : Foo<FooB> {
+    override fun <T : FooB> bar(t: T) {}
+}
+
+fun testStar(foo1: Foo<*>, foo2: Foo<*>) {
+    val x = foo1.bar(<!ARGUMENT_TYPE_MISMATCH!>foo2<!>)
+}

compiler/testData/diagnostics/tests/inference/recursiveTypes/kt61717.kt

@@ -0,0 +1,16 @@
+// ISSUE: KT-61717
+interface Foo<B : Foo<B>> {
+    fun <T : B> bar(t: T)
+}
+
+class FooA : Foo<FooA> {
+    override fun <T : FooA> bar(t: T) {}
+}
+
+class FooB : Foo<FooB> {
+    override fun <T : FooB> bar(t: T) {}
+}
+
+fun testStar(foo1: Foo<*>, foo2: Foo<*>) {
+    val x = foo1.bar(foo2)
+}