1 files changed, 43 insertions, 0 deletions
diff --git a/tests/untried/pos/t1391.scala b/tests/untried/pos/t1391.scala
new file mode 100644
index 000000000..5178ba987
--- /dev/null
+++ b/tests/untried/pos/t1391.scala
@@ -0,0 +1,43 @@
+package sandbox
+
+ class hierarOverload {
+
+ /*
+  * Template structure - using abstract types.
+ */
+   trait AB {
+     type TA <: A
+     type TB <: B
+
+     protected trait A {
+       val entities : List[TB]
+     }
+
+     protected trait B {
+       var group : TA
+     }
+   }
+
+ /*
+  * Template instantiation in an object to ease use and globally define
+ abstract types
+ */
+   object NAnB extends AB {
+     type TB = nB
+     type TA = nA
+
+     class nA extends A {
+       val entities = List[nB]()
+     }
+
+     class nB extends B {
+       var group = new nA
+     }
+   }
+
+   def foo (): Unit = {
+     val t = new NAnB.nA
+     println(t)
+   }
+
+ }