From 82c4db686d07ae8e91f157f5c8b55a1a76917941 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Mon, 5 May 2014 18:34:59 +0200
Subject: Pos tests t17xx - t19xx

---
 tests/pos/t1722/Top.scala | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100755 tests/pos/t1722/Top.scala

(limited to 'tests/pos/t1722/Top.scala')

diff --git a/tests/pos/t1722/Top.scala b/tests/pos/t1722/Top.scala
new file mode 100755
index 000000000..4ac52412a
--- /dev/null
+++ b/tests/pos/t1722/Top.scala
@@ -0,0 +1,13 @@
+package t1722
+
+sealed trait Top
+trait C {
+  private object P extends Top
+}
+/*
+$ scala -e 'new AnyRef with C'
+error: error while loading Top, class file '/private/tmp/bobobo/./Top.class' is broken
+(error reading Scala signature of /private/tmp/bobobo/./Top.class: malformed Scala signature of Top at 185; reference value P of trait C refers to nonexisting symbol.)
+one error found
+Martin: I think this has to do with children property.
+*/
-- 
cgit v1.2.3