Scala example source code file (bug836.scala)

This example Scala source code file (bug836.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, any, b, myobj, myobj, obj, obj, objimpl, objimpl, s, s, string, x

The Scala bug836.scala source code

abstract class Obj { type S }
class ObjImpl extends Obj { type S = String }

abstract class A {
  type MyObj <: Obj
  type S = MyObj#S

  val any:  Any = 0
  val some: S = any   // compiles => type X is set to scala.Any
}

class B extends A {
  type MyObj = ObjImpl 
  val myString:   S = "hello"
  val realString: String = myString   // error: type missmatch
}