From 0577b210982f2c912c133f99cca72c9ea4ab5bcc Mon Sep 17 00:00:00 2001
From: Hubert Plociniczak <hubert.plociniczak@epfl.ch>
Date: Tue, 18 May 2010 10:14:19 +0000
Subject: Closes #3417. No review (already done by Martin)

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

(limited to 'test')

diff --git a/test/files/pos/t3417.scala b/test/files/pos/t3417.scala
new file mode 100644
index 0000000000..d2de1608aa
--- /dev/null
+++ b/test/files/pos/t3417.scala
@@ -0,0 +1,11 @@
+trait X extends NotNull {
+    def foo = 1
+}
+
+trait Y extends Object with NotNull {
+    def bar = 1
+}
+
+class Z extends NotNull
+
+class W extends Object with NotNull
-- 
cgit v1.2.3