1 files changed, 17 insertions, 0 deletions
diff --git a/scalalib/test/resources/hello-dotty/boo/src/Main.scala b/scalalib/test/resources/hello-dotty/boo/src/Main.scala
new file mode 100644
index 00000000..6b19f294
--- /dev/null
+++ b/scalalib/test/resources/hello-dotty/boo/src/Main.scala
@@ -0,0 +1,17 @@
+import cats._, cats.data._, cats.implicits._
+
+trait Context
+
+object Main {
+  def foo(f: given Int => Int): Int = {
+    given x as Int = 1
+    f
+  }
+
+  def main(args: Array[String]): Unit = {
+    val x = Applicative[List].pure(1)
+    assert(x == List(1))
+    val value = foo(given x => x + 1)
+    assert(value == 2)
+  }
+}