diff options
author | odersky <odersky@gmail.com> | 2015-11-05 12:25:47 +0100 |
---|---|---|
committer | odersky <odersky@gmail.com> | 2015-11-05 12:25:47 +0100 |
commit | c16c7f6009c5c7255cf3768585c1115a82b5a38c (patch) | |
tree | 972980b591e089463e8ac1b1ef720305137847da /tests | |
parent | 0f04188f0b8fa94663741234bbd8cb163b5f42b1 (diff) | |
parent | 970a2bdc6c3ea7740e86217e1f30adb998457db9 (diff) | |
download | dotty-c16c7f6009c5c7255cf3768585c1115a82b5a38c.tar.gz dotty-c16c7f6009c5c7255cf3768585c1115a82b5a38c.tar.bz2 dotty-c16c7f6009c5c7255cf3768585c1115a82b5a38c.zip |
Merge pull request #889 from dotty-staging/fix-#877
Fix #877
Diffstat (limited to 'tests')
-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]] + } + } +} |