From 33e0b0964a54b7570928a0a11bfeecb4480ade4d Mon Sep 17 00:00:00 2001
From: michelou <michelou@epfl.ch>
Date: Mon, 28 Nov 2005 10:26:12 +0000
Subject: *** empty log message ***

---
 test/files/pos/variances.scala | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 test/files/pos/variances.scala

(limited to 'test/files/pos/variances.scala')

diff --git a/test/files/pos/variances.scala b/test/files/pos/variances.scala
new file mode 100644
index 0000000000..7dc56b0225
--- /dev/null
+++ b/test/files/pos/variances.scala
@@ -0,0 +1,8 @@
+abstract class P[+a, +b] { // SLS, Example 4.4.2
+  def fst: a;
+  def snd: b
+}
+
+trait Vector[+a] { // SLS, Example 4.4.3 b)
+  def append[b >: a](x: Vector[b]): Vector[b]
+}
-- 
cgit v1.2.3