From 43babf744b90aa8d1ca08d58c71e51b48bd6f731 Mon Sep 17 00:00:00 2001
From: Adriaan Moors <adriaan.moors@epfl.ch>
Date: Thu, 23 Sep 2010 15:51:13 +0000
Subject: closes #3800.

appliedType goes under annotations.
removed some dead code in isSubtypeHK0.

review by rytz
---
 test/files/pos/t3800.scala | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 test/files/pos/t3800.scala

(limited to 'test/files/pos')

diff --git a/test/files/pos/t3800.scala b/test/files/pos/t3800.scala
new file mode 100644
index 0000000000..796eb268c5
--- /dev/null
+++ b/test/files/pos/t3800.scala
@@ -0,0 +1,6 @@
+class meh extends StaticAnnotation
+
+class ALike[C]
+abstract class AFactory[CC[x] <: ALike[CC[x]]] {
+  def aCompanion : AFactory[CC @meh]
+}
\ No newline at end of file
-- 
cgit v1.2.3