chore: add regression test for #10343

Author: hamzaremmal

tests/pos/i10343.scala

@@ -0,0 +1,11 @@
+//> using options -Ycheck:all
+
+class C {
+  type A
+  inline def test: A = ???
+}
+
+@main def m = {
+  val c = C()
+  val x: c.A = c.test
+}