Add test

scala · May 5, 2023 · 90f4253 · 90f4253
1 parent ded5d25
commit 90f4253
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/tests/pos/i17381.scala 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()
+}