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

with explicit Unit return type

1 files changed, 11 insertions, 0 deletions

diff --git a/tests/untried/neg/t5189b.check b/tests/untried/neg/t5189b.check
new file mode 100644
index 000000000..46996e96d
--- /dev/null
+++ b/tests/untried/neg/t5189b.check
@@ -0,0 +1,11 @@
+t5189b.scala:38: error: type mismatch;
+ found   : TestNeg.Wrapped[?T7] where type ?T7 <: T (this is a GADT skolem)
+ required: TestNeg.Wrapped[T]
+Note: ?T7 <: T, but class Wrapped is invariant in type W.
+You may wish to define W as +W instead. (SLS 4.5)
+    case Wrapper/*[_ <: T ]*/(wrapped) => wrapped // : Wrapped[_ <: T], which is a subtype of Wrapped[T] if and only if Wrapped is covariant in its type parameter
+                                          ^
+t5189b.scala:51: error: value foo is not a member of type parameter T
+    case Some(xs) => xs.foo // the error message should not refer to a skolem (testing extrapolation)
+                        ^
+two errors found