diff options
Diffstat (limited to 'test/files/pos/bug0013.scala')
-rw-r--r-- | test/files/pos/bug0013.scala | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/test/files/pos/bug0013.scala b/test/files/pos/bug0013.scala deleted file mode 100644 index 999a2ab61c..0000000000 --- a/test/files/pos/bug0013.scala +++ /dev/null @@ -1,31 +0,0 @@ -// covariant linked list -abstract class M { self => - - type T - final type selfType = M {type T <: self.T} - type actualSelfType >: self.type <: selfType - - def next: selfType - - // I don't understand why this doesn't compile, but that's a separate matter - // error: method all2 cannot be accessed in M.this.selfType - // because its instance type => Stream[M{type T <: M.this.selfType#T}] - // contains a malformed type: M.this.selfType#T - // def all2: Stream[M {type T <: self.T}] = Stream.cons(self: actualSelfType, next.all2) - - - // compiles successfully - // def all3: Stream[M {type T <: self.T}] = all3Impl(self: actualSelfType) - // private def all3Impl(first: M {type T <: self.T}): Stream[M {type T <: self.T}] = Stream.cons(first, all3Impl(first.next)) - - - - def all4: Stream[M {type T <: self.T}] = Unrelated.all4Impl[T](self: actualSelfType) -} - -object Unrelated { - def all4Impl[U](first: M {type T <: U}): Stream[M {type T <: U}] = Stream.cons(first, all4Impl(first.next)) - - // compiles successfully - // def all4Impl[U](first: M {type T <: U}): Stream[M {type T <: U}] = Stream.cons(first, all4Impl[U](first.next)) -}
\ No newline at end of file |