From 9ef5f6817688f814a3450126aa7383b0928e80a0 Mon Sep 17 00:00:00 2001 From: Samuel Gruetter Date: Wed, 12 Mar 2014 22:44:33 +0100 Subject: add tests from scala/test/files/{pos,neg} with explicit Unit return type --- tests/untried/neg/t2416.check | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 tests/untried/neg/t2416.check (limited to 'tests/untried/neg/t2416.check') 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 -- cgit v1.2.3