From abfb3f99ab88e2bd4b4d57807ca4d44d0632cd47 Mon Sep 17 00:00:00 2001
From: Hamza Remmal <hamza@remmal.net>
Date: Thu, 4 Dec 2025 16:56:45 +0100
Subject: [PATCH] chore: add regression test for #10343

---
 tests/pos/i10343.scala | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 tests/pos/i10343.scala

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
+}