diff --git a/tests/pos/i10343.scala b/tests/pos/i10343.scala
new file mode 100644
index 000000000000..9a1ea873f671
--- /dev/null
+++ b/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
+}