From 7f983665985d93c735d519f7d24d9ba072b26cd4 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Sun, 9 Aug 2015 15:29:20 -0700
Subject: Added neg test

(scalac and dotty both produce an error here)
---
 tests/neg/i739.scala | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 tests/neg/i739.scala

(limited to 'tests/neg')

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