Printing refinement types in scaladoc.

one-member refinements, for bigger ones printing the number of members.
Should be improved. Closes #484, no review.

1 files changed, 18 insertions, 0 deletions

diff --git a/test/scaladoc/resources/Trac484.scala b/test/scaladoc/resources/Trac484.scala
new file mode 100644
index 0000000000..b4f81ae172
--- /dev/null
+++ b/test/scaladoc/resources/Trac484.scala
@@ -0,0 +1,18 @@
+class RefinementAndExistentials {
+  type Foo = {
+    type Dingus
+    def bippy(x: Int): String
+    def dingus(): String
+  }
+  type Bar = {
+    type Dingus <: T forSome { type T <: String }
+  }
+  def f(x: Foo) = 51
+  def g(x: T forSome { type T <: String }) = x
+  def h(x: Float): { def quux(x: Int, y: Int): Int } = new {
+    def quux(x: Int, y: Int) = 55
+  }
+  def hh(x: Float) = new { def quux(x: Int, y: Int) = 55 }
+  def j(x: Int): Bar = sys.error("")
+  def k(): AnyRef { type Dingus <: T forSome { type T <: String } } = sys.error("")
+}