Aladdin - Scala Bugtracking
[#779] project: compiler priority: low category: bug
submitter assigned to status date submitted
Sean Martin fixed 2006-10-16 21:20:59.0
subject override/type inference crash
code 
abstract class Foo {
  trait Node {
    def ast : Object = null; 
  }
  trait Something extends Node {
    override def ast = return null;
  }
}
what happened 
sean-mcdirmids-computer:~/workspace/test20/src mcdirmid$ ../../scala/build/quick/bin/scalac test/Test.scala\

Exception in thread "main" java.lang.AssertionError: assertion failed: 
	at scala.Predef$.assert(Predef.scala:92)
	at scala.tools.nsc.typechecker.Typers$Typer.typed1(Typers.scala:1693)
	at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:1919)
	at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:1947)
	at scala.tools.nsc.typechecker.Typers$Typer.computeType(Typers.scala:1980)
	at scala.tools.nsc.typechecker.Namers$Namer.methodSig(Namers.scala:474)
	at scala.tools.nsc.typechecker.Namers$Namer.typeSig(Namers.scala:534)
	at scala.tools.nsc.typechecker.Namers$Namer$$anon$0.complete(Namers.scala:308)
	at scala.tools.nsc.symtab.Symbols$Symbol.info(Symbols.scala:395)
	at scala.tools.nsc.symtab.Symbols$Symbol.initialize(Symbols.scala:472)
	at scala.tools.nsc.typechecker.Typers$Typer.typed1(Typers.scala:1555)
	at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:1919)
	at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:1947)
	at scala.tools.nsc.typechecker.Typers$Typer.typedStat$0(Typers.scala:1099)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$47.apply(Typers.scala:1120)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$47.apply(Typers.scala:1120)
	at scala.List$.loop$0(List.scala:238)
	at scala.List$.mapConserve(List.scala:255)
	at scala.tools.nsc.typechecker.Typers$Typer.typedStats(Typers.scala:1120)
	at scala.tools.nsc.typechecker.Typers$Typer.typedTemplate(Typers.scala:785)
	at scala.tools.nsc.typechecker.Typers$Typer.typedClassDef(Typers.scala:707)
	at scala.tools.nsc.typechecker.Typers$Typer.typed1(Typers.scala:1565)
	at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:1919)
	at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:1947)
	at scala.tools.nsc.typechecker.Typers$Typer.typedStat$0(Typers.scala:1099)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$47.apply(Typers.scala:1120)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$47.apply(Typers.scala:1120)
	at scala.List$.loop$0(List.scala:238)
	at scala.List$.mapConserve(List.scala:255)
	at scala.List$.loop$0(List.scala:242)
	at scala.List$.mapConserve(List.scala:255)
	at scala.List$.loop$0(List.scala:242)
	at scala.List$.mapConserve(List.scala:255)
	at scala.tools.nsc.typechecker.Typers$Typer.typedStats(Typers.scala:1120)
	at scala.tools.nsc.typechecker.Typers$Typer.typedTemplate(Typers.scala:785)
	at scala.tools.nsc.typechecker.Typers$Typer.typedClassDef(Typers.scala:707)
	at scala.tools.nsc.typechecker.Typers$Typer.typed1(Typers.scala:1565)
	at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:1919)
	at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:1947)
	at scala.tools.nsc.typechecker.Typers$Typer.typedStat$0(Typers.scala:1099)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$47.apply(Typers.scala:1120)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$47.apply(Typers.scala:1120)
	at scala.List$.loop$0(List.scala:238)
	at scala.List$.mapConserve(List.scala:255)
	at scala.tools.nsc.typechecker.Typers$Typer.typedStats(Typers.scala:1120)
	at scala.tools.nsc.typechecker.Typers$Typer.typed1(Typers.scala:1561)
	at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:1919)
	at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:1947)
	at scala.tools.nsc.typechecker.Analyzer$typerFactory$$anon$1.apply(Analyzer.scala:38)
	at scala.tools.nsc.Global$GlobalPhase.applyPhase(Global.scala:218)
	at scala.tools.nsc.Global$GlobalPhase$$anonfun$1.apply(Global.scala:207)
	at scala.tools.nsc.Global$GlobalPhase$$anonfun$1.apply(Global.scala:207)
	at scala.Iterator$class.foreach(Iterator.scala:316)
	at scala.collection.mutable.ListBuffer$$anon$0.foreach(ListBuffer.scala:220)
	at scala.tools.nsc.Global$GlobalPhase.run(Global.scala:207)
	at scala.tools.nsc.Global$Run.compileSources(Global.scala:469)
	at scala.tools.nsc.Global$Run.compile(Global.scala:535)
	at scala.tools.nsc.Main$.process(Main.scala:76)
	at scala.tools.nsc.Main$.main(Main.scala:98)
	at scala.tools.nsc.Main.main(Main.scala)
what expected
[back to overview]
Changes of this bug report
Martin  edited on  2006-10-26 16:27:49.0