From ae30ad9f14e8bcd7a6331fb195bfbabad7bfe275 Mon Sep 17 00:00:00 2001
From: Nicolas Stucki <nicolas.stucki@gmail.com>
Date: Fri, 3 May 2019 16:37:41 +0200
Subject: [PATCH] Fix #2774: Add regression test

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

diff --git a/tests/pos/i2774.scala b/tests/pos/i2774.scala
new file mode 100644
index 000000000000..16a37bb963db
--- /dev/null
+++ b/tests/pos/i2774.scala
@@ -0,0 +1,12 @@
+object Test {
+  trait T; trait Q
+  val a: given T => given Q => Int = 1
+
+  implied for Q = new Q {}
+  val i1: Int = a given (new T{})
+  implied for T = new T {}
+  val i2: Int =  a
+
+  def a given (t: T) given (q: Q): Int = 1
+
+}