Merge pull request #889 from dotty-staging/fix-#877

Fix #877

1 files changed, 11 insertions, 0 deletions

diff --git a/tests/pos/i877.scala b/tests/pos/i877.scala
new file mode 100644
index 000000000..45a71ae0d
--- /dev/null
+++ b/tests/pos/i877.scala
@@ -0,0 +1,11 @@
+class First[A]
+class Second[A]
+
+class Foo {
+  def foo[A: First] = {
+    def bar[B: Second] = {
+      val fst: First[A] = implicitly[First[A]]
+      val snd: Second[B] = implicitly[Second[B]]
+    }
+  }
+}