From c854cc7fcc9d0f889c6235c1534133cff7360e7f Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Mon, 17 Mar 2014 18:44:39 +0100
Subject: More tests

---
 tests/pos/t1119.scala | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 tests/pos/t1119.scala

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

diff --git a/tests/pos/t1119.scala b/tests/pos/t1119.scala
new file mode 100644
index 000000000..8b36877c4
--- /dev/null
+++ b/tests/pos/t1119.scala
@@ -0,0 +1,10 @@
+trait B
+{
+     type T >: this.type <: B
+
+
+     // compile-time check: have we achieved our objective?
+     def test: T = this
+}
+
+
-- 
cgit v1.2.3