Scala example source code file (bug1275.scala)

This example Scala source code file (bug1275.scala) is included in the DevDaily.com "Java Source Code Warehouse" project. The intent of this project is to help you "Learn Java by Example" ^TM.

Java - Scala tags/keywords

mytype, mytype, mytype/*look, mytype/*look, seq, seq, test, test

The Scala bug1275.scala source code

object Test {
  trait Seq[+t] {
    type MyType[+t] <: Seq[t]

    def f: MyType[t]
  }

  // illegal abstract type member refinement: changes the arity of MyType
  // the error is pretty strange, since the compiler forms the illegal type xs.MyType[a] anyway
  def span[a, s <: Seq[a] { type MyType/*look ma, no type parameters!*/ <: s } ](xs: s): s
     = xs f
//        ^
// found   : xs.MyType[a]
// required: s
}