From f6e454ba8ba2f1183177e1f69788bf9610512c3f Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Fri, 30 Oct 2015 17:07:51 +0100
Subject: Fix #877

Use freshName to name evidence parameters.
---
 tests/pos/i877.scala | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 tests/pos/i877.scala

(limited to 'tests/pos')

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]]
+    }
+  }
+}
-- 
cgit v1.2.3