Scala example source code file (bug663.scala)

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

any, coreifimpl, matchable, matchable, matchableimpl, matchableimpl, node, node, nodeimpl, nodeimpl, test

The Scala bug663.scala source code

package test;
trait Test {
  type Matchable <: Node with MatchableImpl;
  trait MatchableImpl extends NodeImpl {
    def asMatch(node : Matchable) : Any;
  }
  type Node <: NodeImpl;
  trait NodeImpl;
  trait CoreIfImpl extends MatchableImpl {
    // NO_CRASH: def asMatch(m : Matchable) = {
    def asMatch(m : Node) : Any = {
      if (m.isInstanceOf[MatchableImpl]) {
        null;
      } else null;
      // NO_CRASH: null;
    }
  }
}