test: add in a regression test for #13334

[skip community_build]

closes #13334

Author: ckipp01

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