From 90f4253bf871cce9b79073759757696b001f5634 Mon Sep 17 00:00:00 2001
From: odersky <odersky@gmail.com>
Date: Fri, 5 May 2023 12:49:59 +0200
Subject: [PATCH] Add test

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

diff --git a/tests/pos/i17381.scala b/tests/pos/i17381.scala
new file mode 100644
index 000000000000..3d8aac8e9f67
--- /dev/null
+++ b/tests/pos/i17381.scala
@@ -0,0 +1,9 @@
+import reflect.Selectable.reflectiveSelectable
+
+type Y = { type T = String; def u(): T }
+
+trait Test {
+
+  val y1: Y
+  val y2 = y1.u()
+}
\ No newline at end of file