pattern matcher crashes in subtype call
tsf-wpa-2-155:~/Documents/svn/scala buraq$ ./build/quick/bin/scalac -d /tmp /tmp/ga.scala -print:typer
[[syntax trees at end of typer]]// Scala source: ga.scala
package {
final object tmp extends java.lang.Object with scala.ScalaObject {
def this(): object tmp = {
tmp.super.this();
()
};
private[this] val x: java.lang.Object = scala.Some[(scala.Int, scala.Int)](scala.this.Tuple2[scala.Int, scal\
a.Int](1, 2));
def x: java.lang.Object = tmp.this.x;
tmp.this.x match {
case (scala.Any)scala.Some[scala.Any]((scala.Any,scala.Any)(scala.Any, scala.Any)(1, 2)) => ()
}
}
}
exception when transforming java.lang.Object with scala.ScalaObject {
def this(): object tmp = {
tmp.super.this();
()
};
private[this] val x: java.lang.Object = new scala.Some[(scala.Int, scala.Int)](new (scala.Int, scala.Int)(1, 2\
));
def x(): java.lang.Object = tmp.this.x;
tmp.this.x() match {
case (scala.Any)scala.Some[scala.Any]((scala.Any,scala.Any)(scala.Any, scala.Any)(1, 2)) => ()
}
}
exception when transforming final class tmp extends java.lang.Object with scala.ScalaObject {
def this(): object tmp = {
tmp.super.this();
()
};
private[this] val x: java.lang.Object = new scala.Some[(scala.Int, scala.Int)](new (scala.Int, scala.Int)(1, 2\
));
def x(): java.lang.Object = tmp.this.x;
tmp.this.x() match {
case (scala.Any)scala.Some[scala.Any]((scala.Any,scala.Any)(scala.Any, scala.Any)(1, 2)) => ()
}
}
exception when transforming package {
final class tmp extends java.lang.Object with scala.ScalaObject {
def this(): object tmp = {
tmp.super.this();
()
};
private[this] val x: java.lang.Object = new scala.Some[(scala.Int, scala.Int)](new (scala.Int, scala.Int)(1,\
2));
def x(): java.lang.Object = tmp.this.x;
tmp.this.x() match {
case (scala.Any)scala.Some[scala.Any]((scala.Any,scala.Any)(scala.Any, scala.Any)(1, 2)) => ()
}
}
}
Exception in thread "main" scala.MatchError: null
at scala.runtime.ScalaRunTime$.boxArray(ScalaRunTime.scala:126)
at scala.tools.nsc.symtab.Types$class.isSubType0(Types.scala:2130)
at scala.tools.nsc.symtab.SymbolTable.isSubType0(SymbolTable.scala:10)
at scala.tools.nsc.symtab.Types$class.isSubType(Types.scala:2118)
at scala.tools.nsc.symtab.SymbolTable.isSubType(SymbolTable.scala:10)
at scala.tools.nsc.matching.PatternNodes$Header.optimize1(PatternNodes.scala:364)
...
|