diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-08-09 15:29:20 -0700 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-09-18 17:39:36 +0200 |
| commit | 7f983665985d93c735d519f7d24d9ba072b26cd4 (patch) | |
| tree | e37e7520b1f20817d997c7afb4d18fa723acc6ca /tests/neg/i739.scala | |
| parent | 5e48d1c25e9fe1f5c6b962a6edb209e587150b86 (diff) | |
| download | dotty-7f983665985d93c735d519f7d24d9ba072b26cd4.tar.gz dotty-7f983665985d93c735d519f7d24d9ba072b26cd4.tar.bz2 dotty-7f983665985d93c735d519f7d24d9ba072b26cd4.zip | |
Added neg test
(scalac and dotty both produce an error here)
Diffstat (limited to 'tests/neg/i739.scala')
| -rw-r--r-- | tests/neg/i739.scala | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tests/neg/i739.scala b/tests/neg/i739.scala new file mode 100644 index 000000000..5385fa42c --- /dev/null +++ b/tests/neg/i739.scala @@ -0,0 +1,7 @@ +class Foo[A, B] +class Test { + implicit val f: Foo[Int, String] = ??? + def t[A, B >: A](a: A)(implicit f: Foo[A, B]) = ??? + t(1) // error +} + |