add tests from scala/test/files/{pos,neg}

with explicit Unit return type

1 files changed, 10 insertions, 0 deletions

diff --git a/tests/untried/neg/t2416.check b/tests/untried/neg/t2416.check
new file mode 100644
index 000000000..0899ad09d
--- /dev/null
+++ b/tests/untried/neg/t2416.check
@@ -0,0 +1,10 @@
+t2416.scala:3: error: type arguments [Int] do not conform to trait A's type parameter bounds [X <: Double]
+  def x : A[Int]#B = 10 // no you won't
+          ^
+t2416.scala:8: error: type arguments [Boolean] do not conform to type B's type parameter bounds [Y <: Double]
+  def x : A#B[Boolean] = 10 // seriously?
+            ^
+t2416.scala:13: error: type arguments [String] do not conform to type B's type parameter bounds [Z <: Double]
+  type C[Z <: A] = Z#B[String] // nuh-uh!
+                     ^
+three errors found