Permalink
Browse files

Pending test for SI-6161

Not solved with base type dealiasing
  • Loading branch information...
retronym committed Dec 8, 2013
1 parent edc9edb commit 0de991ffea7c0d461cb4435fb8385c52ee39f7e3
Showing with 22 additions and 0 deletions.
  1. +22 −0 test/pending/pos/t6161.scala
@@ -0,0 +1,22 @@
+object t6161 {
+ trait N {
+ type Name
+ }
+
+ trait N1 extends N {
+ class Name {
+ type ThisNameType <: Name
+ def encode: ThisNameType = ???
+ }
+ }
+
+ trait S {
+ self: N => // change to N1 and it compiles
+ type NameType <: Name
+ }
+
+ object g extends S with N1
+
+ val n1: g.NameType = ???
+ val n2: g.Name = n1.encode
+}

0 comments on commit 0de991f

Please sign in to comment.