test: add in a regression test for scala#13334

[skip community_build] closes scala#13334
ckipp01 · May 15, 2023 · cfa9da3 · cfa9da3
1 parent 7d6c835
commit cfa9da3
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/tests/run/i13334.scala b/tests/run/i13334.scala
@@ -0,0 +1,16 @@
+// https://github.com/lampepfl/dotty/issues/13334
+trait DFC
+given DFC = new DFC {}
+
+trait TC
+object TC:
+  def foo()(using DFC): Unit = {}
+
+  inline given (using DFC): TC = new TC:
+    foo()
+
+class Foo(using DFC):
+  summon[TC]
+
+@main def Test() =
+  val top = new Foo