First version of named type arguments

1 files changed, 17 insertions, 0 deletions

diff --git a/tests/pos/named-params.scala b/tests/pos/named-params.scala
new file mode 100644
index 000000000..51041078d
--- /dev/null
+++ b/tests/pos/named-params.scala
@@ -0,0 +1,17 @@
+package namedparams
+
+abstract class C[type Elem, type Value](val elem: Elem) {
+  def toVal: Elem = ???
+}
+
+
+
+object Test {
+  val c = new C[String, String]("A") {
+    override def toVal = elem
+  }
+  val x: c.Elem = c.elem
+
+  val c2: C { type Elem = String } = c
+  val x2: c2.Elem = c2.elem
+}