fix scala#13497: add regression test

olsdavis · Apr 4, 2022 · 5c25467 · 5c25467
1 parent 2bad914
commit 5c25467
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/tests/neg/i13497.scala b/tests/neg/i13497.scala
@@ -0,0 +1,13 @@
+trait Foo
+trait Bar
+object Foo:
+  given (using Bar): Foo = ???
+
+object Bug:
+  def demonstrate: Unit =
+    Option.empty[Unit].flatMap { _ =>
+      Option.empty[Unit].map { _ =>
+        val foo = summon[Foo] // error: Foo.given_Foo(/* missing */summon[Bar])
+        Option.empty[Unit]
+      }
+    }