diff options
author | Martin Odersky <odersky@gmail.com> | 2015-10-30 17:07:51 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-10-30 17:07:51 +0100 |
commit | f6e454ba8ba2f1183177e1f69788bf9610512c3f (patch) | |
tree | cfebabddaac9998da05900a08d0b912b154d5082 /tests/pos/i877.scala | |
parent | 465ea96afb46e29fb523dad884f0ba860eeea6ff (diff) | |
download | dotty-f6e454ba8ba2f1183177e1f69788bf9610512c3f.tar.gz dotty-f6e454ba8ba2f1183177e1f69788bf9610512c3f.tar.bz2 dotty-f6e454ba8ba2f1183177e1f69788bf9610512c3f.zip |
Fix #877
Use freshName to name evidence parameters.
Diffstat (limited to 'tests/pos/i877.scala')
-rw-r--r-- | tests/pos/i877.scala | 11 |
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]] + } + } +} |