Scala example source code file (tcpoly_override.scala)

This example Scala source code file (tcpoly_override.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

a, a, b, b, c, c, first-order, m, t, t, this

The Scala tcpoly_override.scala source code

// bug1231: reported by Vladimir Reshetnikov on 19 July 2007
trait A {
 type T[_]
}

trait B // First-order type

class C extends A {
 type T = B // This compiles well (@M: ... but it shouldn't)
}