From 35d1160cd65d21076b1f640624663ad7b35f9c56 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Thu, 5 Mar 2015 15:56:43 +0100
Subject: More tests

Both some long overdue pos tests and more pickleOK tests
---
 tests/pos/t5070.scala | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 tests/pos/t5070.scala

(limited to 'tests/pos/t5070.scala')

diff --git a/tests/pos/t5070.scala b/tests/pos/t5070.scala
new file mode 100644
index 000000000..c236b4f9e
--- /dev/null
+++ b/tests/pos/t5070.scala
@@ -0,0 +1,18 @@
+trait Web {
+  type LocalName
+}
+trait Companion1[A]
+trait WebDSL[W <: Web] {
+  trait LocalNameCompanion extends Companion1[W#LocalName] {
+    type A = String
+  }
+  implicit val LocalName: LocalNameCompanion
+}
+object Test {
+  def t[W <: Web](implicit webDSL: WebDSL[W]): Unit = {
+    import webDSL._
+    implicitly[LocalNameCompanion] // succeeds
+    implicitly[Companion1[W#LocalName]] // fails
+  }
+}
+
-- 
cgit v1.2.3