From e33a7385268084138e3d51faffdff33b540ad942 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Sun, 20 Jul 2014 14:48:34 +0200
Subject: Enabled variance checking

Variance checking is now run as part of type-checking.

Fixed tests that exhibited variance errors. Added tests where some classes of
variance errors should be detected.
---
 tests/pos/variances.scala | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 tests/pos/variances.scala

(limited to 'tests/pos/variances.scala')

diff --git a/tests/pos/variances.scala b/tests/pos/variances.scala
new file mode 100644
index 000000000..db858fd5d
--- /dev/null
+++ b/tests/pos/variances.scala
@@ -0,0 +1,3 @@
+trait C[+T <: C[T, U], -U <: C[T, U]] {
+
+}
-- 
cgit v1.2.3