New facility: TypeDestructurers.

Would prefer to bake a little longer, but, scala days.

More elaboration to come.

1 files changed, 20 insertions, 0 deletions

diff --git a/test/files/run/repl-type-verbose.scala b/test/files/run/repl-type-verbose.scala
new file mode 100644
index 0000000000..10c390550a
--- /dev/null
+++ b/test/files/run/repl-type-verbose.scala
@@ -0,0 +1,20 @@
+import scala.tools.partest.ReplTest
+
+object Test extends ReplTest {
+  def code = """
+    |// verbose!
+    |:type -v def f = 5
+    |:type -v def f() = 5
+    |:type -v def f[T] = 5
+    |:type -v def f[T >: Null] = 5
+    |:type -v def f[T <: String] = 5
+    |:type -v def f[T]() = 5
+    |:type -v def f[T, U]() = 5
+    |:type -v def f[T, U]()() = 5
+    |:type -v def f[T, U <: T] = 5
+    |:type -v def f[T, U <: T](x: T)(y: U) = 5
+    |:type -v def f[T: Ordering] = 5
+    |:type -v def f[T: Ordering] = implicitly[Ordering[T]]
+    |:type -v def f[T <: { type Bippy = List[Int] ; def g(): Bippy }] = 5
+  """.stripMargin
+}