Script started on Sat Jul 14 18:26:47 2012
%                                                                                             
 

; ~/bin/scala-2.10.0-M5/bin/scalac Foo.scala

error: 
     while compiling: Foo.scala
        during phase: typer
     library version: version 2.10.0-M5
    compiler version: version 2.10.0-M5
  reconstructed args: 

  last tree to typer: Ident(d)
              symbol: value d (flags: <triedcooking>)
   symbol definition: val d: foo.Foo[_,_]
                 tpe: d.type
       symbol owners: value d -> method bar -> class Foo -> package foo
      context owners: method bar -> class Foo -> package foo

== Enclosing template or block ==

CaseDef(
  Bind(
    "d"
    Typed(
      "_" // tree.tpe=foo.Foo[_,_]
      AppliedTypeTree( // abstract class Foo[T, U] extends foo.==>[T,U] in package foo
        "Foo" // abstract class Foo[T, U] extends foo.==>[T,U] in package foo, tree.tpe=foo.Foo
        // 2 arguments
        Bind( // type _, tree.tpe=_
          "_"
          <empty>
        )
        Bind( // type _, tree.tpe=_
          "_"
          <empty>
        )
      )
    )
  )
  "d"."f" // val f: foo.==>[T,U] in class Foo, tree.tpe=foo.==>[_,_]
)

== Expanded type of tree ==

SingleType(value d)

uncaught exception during compilation: java.lang.AssertionError
error: java.lang.AssertionError: assertion failed: 
     while compiling: Foo.scala
        during phase: typer
     library version: version 2.10.0-M5
    compiler version: version 2.10.0-M5
  reconstructed args: 

  last tree to typer: Ident(d)
              symbol: value d (flags: <triedcooking>)
   symbol definition: val d: foo.Foo[_,_]
                 tpe: d.type
       symbol owners: value d -> method bar -> class Foo -> package foo
      context owners: method bar -> class Foo -> package foo

== Enclosing template or block ==

CaseDef(
  Bind(
    "d"
    Typed(
      "_" // tree.tpe=foo.Foo[_,_]
      AppliedTypeTree( // abstract class Foo[T, U] extends foo.==>[T,U] in package foo
        "Foo" // abstract class Foo[T, U] extends foo.==>[T,U] in package foo, tree.tpe=foo.Foo
        // 2 arguments
        Bind( // type _, tree.tpe=_
          "_"
          <empty>
        )
        Bind( // type _, tree.tpe=_
          "_"
          <empty>
        )
      )
    )
  )
  "d"."f" // val f: foo.==>[T,U] in class Foo, tree.tpe=foo.==>[_,_]
)

== Expanded type of tree ==

SingleType(value d)

d.f : foo.this.package.type.==>[?scala.reflect.internal.Types$NoPrefix$?.T, ?scala.reflect.internal.Types$NoPrefix$?.U] ~>scala.this.PartialFunction[?scala.reflect.internal.Types$NoPrefix$?.T, ?scala.reflect.internal.Types$NoPrefix$?.U]
	at scala.Predef$.assert(Predef.scala:170)
	at scala.tools.nsc.Global.assert(Global.scala:235)
	at scala.tools.nsc.ast.TreeGen.mkCast(TreeGen.scala:252)
	at scala.tools.nsc.typechecker.Typers$Typer.typedCase(Typers.scala:2264)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$typedCases$1.apply(Typers.scala:2288)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$typedCases$1.apply(Typers.scala:2287)
	at scala.collection.immutable.List.loop$1(List.scala:163)
	at scala.collection.immutable.List.mapConserve(List.scala:179)
	at scala.tools.nsc.typechecker.Typers$Typer.typedCases(Typers.scala:2287)
	at scala.tools.nsc.typechecker.Typers$Typer.typedMatch(Typers.scala:2300)
	at scala.tools.nsc.typechecker.Typers$Typer.typedVirtualizedMatch$1(Typers.scala:4018)
	at scala.tools.nsc.typechecker.Typers$Typer.typed1(Typers.scala:4889)
	at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:5187)
	at scala.tools.nsc.typechecker.Typers$Typer.transformedOrTyped(Typers.scala:5386)
	at scala.tools.nsc.typechecker.Typers$Typer.typedDefDef(Typers.scala:2042)
	at scala.tools.nsc.typechecker.Typers$Typer.typed1(Typers.scala:4818)
	at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:5187)
	at scala.tools.nsc.typechecker.Typers$Typer.scala$tools$nsc$typechecker$Typers$Typer$$typedStat$1(Typers.scala:2635)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$62$$anonfun$63.apply(Typers.scala:2731)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$62$$anonfun$63.apply(Typers.scala:2731)
	at scala.collection.immutable.List.loop$1(List.scala:163)
	at scala.collection.immutable.List.mapConserve(List.scala:179)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$62.apply(Typers.scala:2731)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$62.apply(Typers.scala:2730)
	at scala.tools.nsc.typechecker.Typers$Typer.withSavedContext(Typers.scala:524)
	at scala.tools.nsc.typechecker.Typers$Typer.typedStats(Typers.scala:2730)
	at scala.tools.nsc.typechecker.Typers$Typer.typedTemplate(Typers.scala:1751)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$40.apply(Typers.scala:1614)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$40.apply(Typers.scala:1614)
	at scala.tools.nsc.typechecker.Typers$Typer.typerReportAnyContextErrors(Typers.scala:515)
	at scala.tools.nsc.typechecker.Typers$Typer.typedClassDef(Typers.scala:1613)
	at scala.tools.nsc.typechecker.Typers$Typer.typed1(Typers.scala:4805)
	at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:5187)
	at scala.tools.nsc.typechecker.Typers$Typer.scala$tools$nsc$typechecker$Typers$Typer$$typedStat$1(Typers.scala:2635)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$62$$anonfun$63.apply(Typers.scala:2731)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$62$$anonfun$63.apply(Typers.scala:2731)
	at scala.collection.immutable.List.loop$1(List.scala:163)
	at scala.collection.immutable.List.mapConserve(List.scala:179)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$62.apply(Typers.scala:2731)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$62.apply(Typers.scala:2730)
	at scala.tools.nsc.typechecker.Typers$Typer.withSavedContext(Typers.scala:524)
	at scala.tools.nsc.typechecker.Typers$Typer.typedStats(Typers.scala:2730)
	at scala.tools.nsc.typechecker.Typers$Typer.typed1(Typers.scala:4801)
	at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:5187)
	at scala.tools.nsc.typechecker.Typers$Typer.scala$tools$nsc$typechecker$Typers$Typer$$typedStat$1(Typers.scala:2635)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$62$$anonfun$63.apply(Typers.scala:2731)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$62$$anonfun$63.apply(Typers.scala:2731)
	at scala.collection.immutable.List.loop$1(List.scala:163)
	at scala.collection.immutable.List.mapConserve(List.scala:179)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$62.apply(Typers.scala:2731)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$62.apply(Typers.scala:2730)
	at scala.tools.nsc.typechecker.Typers$Typer.withSavedContext(Typers.scala:524)
	at scala.tools.nsc.typechecker.Typers$Typer.typedStats(Typers.scala:2730)
	at scala.tools.nsc.typechecker.Typers$Typer.typed1(Typers.scala:4801)
	at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:5187)
	at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:5238)
	at scala.tools.nsc.typechecker.Analyzer$typerFactory$$anon$3.apply(Analyzer.scala:98)
	at scala.tools.nsc.Global$GlobalPhase.applyPhase(Global.scala:459)
	at scala.tools.nsc.typechecker.Analyzer$typerFactory$$anon$3$$anonfun$run$1.apply(Analyzer.scala:90)
	at scala.tools.nsc.typechecker.Analyzer$typerFactory$$anon$3$$anonfun$run$1.apply(Analyzer.scala:90)
	at scala.collection.Iterator$class.foreach(Iterator.scala:726)
	at scala.collection.AbstractIterator.foreach(Iterator.scala:1155)
	at scala.tools.nsc.typechecker.Analyzer$typerFactory$$anon$3.run(Analyzer.scala:90)
	at scala.tools.nsc.Global$Run.compileUnitsInternal(Global.scala:1574)
	at scala.tools.nsc.Global$Run.compileUnits(Global.scala:1548)
	at scala.tools.nsc.Global$Run.compileSources(Global.scala:1544)
	at scala.tools.nsc.Global$Run.compile(Global.scala:1654)
	at scala.tools.nsc.Driver.doCompile(Driver.scala:31)
	at scala.tools.nsc.Main$.doCompile(Main.scala:81)
	at scala.tools.nsc.Driver.process(Driver.scala:52)
	at scala.tools.nsc.Driver.main(Driver.scala:65)
	at scala.tools.nsc.Main.main(Main.scala)

Exception in thread "main" java.lang.AssertionError: assertion failed: 
     while compiling: Foo.scala
        during phase: typer
     library version: version 2.10.0-M5
    compiler version: version 2.10.0-M5
  reconstructed args: 

  last tree to typer: Ident(d)
              symbol: value d (flags: <triedcooking>)
   symbol definition: val d: foo.Foo[_,_]
                 tpe: d.type
       symbol owners: value d -> method bar -> class Foo -> package foo
      context owners: method bar -> class Foo -> package foo

== Enclosing template or block ==

CaseDef(
  Bind(
    "d"
    Typed(
      "_" // tree.tpe=foo.Foo[_,_]
      AppliedTypeTree( // abstract class Foo[T, U] extends foo.==>[T,U] in package foo
        "Foo" // abstract class Foo[T, U] extends foo.==>[T,U] in package foo, tree.tpe=foo.Foo
        // 2 arguments
        Bind( // type _, tree.tpe=_
          "_"
          <empty>
        )
        Bind( // type _, tree.tpe=_
          "_"
          <empty>
        )
      )
    )
  )
  "d"."f" // val f: foo.==>[T,U] in class Foo, tree.tpe=foo.==>[_,_]
)

== Expanded type of tree ==

SingleType(value d)

d.f : foo.this.package.type.==>[?scala.reflect.internal.Types$NoPrefix$?.T, ?scala.reflect.internal.Types$NoPrefix$?.U] ~>scala.this.PartialFunction[?scala.reflect.internal.Types$NoPrefix$?.T, ?scala.reflect.internal.Types$NoPrefix$?.U]
	at scala.Predef$.assert(Predef.scala:170)
	at scala.tools.nsc.Global.assert(Global.scala:235)
	at scala.tools.nsc.ast.TreeGen.mkCast(TreeGen.scala:252)
	at scala.tools.nsc.typechecker.Typers$Typer.typedCase(Typers.scala:2264)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$typedCases$1.apply(Typers.scala:2288)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$typedCases$1.apply(Typers.scala:2287)
	at scala.collection.immutable.List.loop$1(List.scala:163)
	at scala.collection.immutable.List.mapConserve(List.scala:179)
	at scala.tools.nsc.typechecker.Typers$Typer.typedCases(Typers.scala:2287)
	at scala.tools.nsc.typechecker.Typers$Typer.typedMatch(Typers.scala:2300)
	at scala.tools.nsc.typechecker.Typers$Typer.typedVirtualizedMatch$1(Typers.scala:4018)
	at scala.tools.nsc.typechecker.Typers$Typer.typed1(Typers.scala:4889)
	at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:5187)
	at scala.tools.nsc.typechecker.Typers$Typer.transformedOrTyped(Typers.scala:5386)
	at scala.tools.nsc.typechecker.Typers$Typer.typedDefDef(Typers.scala:2042)
	at scala.tools.nsc.typechecker.Typers$Typer.typed1(Typers.scala:4818)
	at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:5187)
	at scala.tools.nsc.typechecker.Typers$Typer.scala$tools$nsc$typechecker$Typers$Typer$$typedStat$1(Typers.scala:2635)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$62$$anonfun$63.apply(Typers.scala:2731)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$62$$anonfun$63.apply(Typers.scala:2731)
	at scala.collection.immutable.List.loop$1(List.scala:163)
	at scala.collection.immutable.List.mapConserve(List.scala:179)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$62.apply(Typers.scala:2731)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$62.apply(Typers.scala:2730)
	at scala.tools.nsc.typechecker.Typers$Typer.withSavedContext(Typers.scala:524)
	at scala.tools.nsc.typechecker.Typers$Typer.typedStats(Typers.scala:2730)
	at scala.tools.nsc.typechecker.Typers$Typer.typedTemplate(Typers.scala:1751)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$40.apply(Typers.scala:1614)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$40.apply(Typers.scala:1614)
	at scala.tools.nsc.typechecker.Typers$Typer.typerReportAnyContextErrors(Typers.scala:515)
	at scala.tools.nsc.typechecker.Typers$Typer.typedClassDef(Typers.scala:1613)
	at scala.tools.nsc.typechecker.Typers$Typer.typed1(Typers.scala:4805)
	at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:5187)
	at scala.tools.nsc.typechecker.Typers$Typer.scala$tools$nsc$typechecker$Typers$Typer$$typedStat$1(Typers.scala:2635)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$62$$anonfun$63.apply(Typers.scala:2731)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$62$$anonfun$63.apply(Typers.scala:2731)
	at scala.collection.immutable.List.loop$1(List.scala:163)
	at scala.collection.immutable.List.mapConserve(List.scala:179)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$62.apply(Typers.scala:2731)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$62.apply(Typers.scala:2730)
	at scala.tools.nsc.typechecker.Typers$Typer.withSavedContext(Typers.scala:524)
	at scala.tools.nsc.typechecker.Typers$Typer.typedStats(Typers.scala:2730)
	at scala.tools.nsc.typechecker.Typers$Typer.typed1(Typers.scala:4801)
	at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:5187)
	at scala.tools.nsc.typechecker.Typers$Typer.scala$tools$nsc$typechecker$Typers$Typer$$typedStat$1(Typers.scala:2635)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$62$$anonfun$63.apply(Typers.scala:2731)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$62$$anonfun$63.apply(Typers.scala:2731)
	at scala.collection.immutable.List.loop$1(List.scala:163)
	at scala.collection.immutable.List.mapConserve(List.scala:179)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$62.apply(Typers.scala:2731)
	at scala.tools.nsc.typechecker.Typers$Typer$$anonfun$62.apply(Typers.scala:2730)
	at scala.tools.nsc.typechecker.Typers$Typer.withSavedContext(Typers.scala:524)
	at scala.tools.nsc.typechecker.Typers$Typer.typedStats(Typers.scala:2730)
	at scala.tools.nsc.typechecker.Typers$Typer.typed1(Typers.scala:4801)
	at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:5187)
	at scala.tools.nsc.typechecker.Typers$Typer.typed(Typers.scala:5238)
	at scala.tools.nsc.typechecker.Analyzer$typerFactory$$anon$3.apply(Analyzer.scala:98)
	at scala.tools.nsc.Global$GlobalPhase.applyPhase(Global.scala:459)
	at scala.tools.nsc.typechecker.Analyzer$typerFactory$$anon$3$$anonfun$run$1.apply(Analyzer.scala:90)
	at scala.tools.nsc.typechecker.Analyzer$typerFactory$$anon$3$$anonfun$run$1.apply(Analyzer.scala:90)
	at scala.collection.Iterator$class.foreach(Iterator.scala:726)
	at scala.collection.AbstractIterator.foreach(Iterator.scala:1155)
	at scala.tools.nsc.typechecker.Analyzer$typerFactory$$anon$3.run(Analyzer.scala:90)
	at scala.tools.nsc.Global$Run.compileUnitsInternal(Global.scala:1574)
	at scala.tools.nsc.Global$Run.compileUnits(Global.scala:1548)
	at scala.tools.nsc.Global$Run.compileSources(Global.scala:1544)
	at scala.tools.nsc.Global$Run.compile(Global.scala:1654)
	at scala.tools.nsc.Driver.doCompile(Driver.scala:31)
	at scala.tools.nsc.Main$.doCompile(Main.scala:81)
	at scala.tools.nsc.Driver.process(Driver.scala:52)
	at scala.tools.nsc.Driver.main(Driver.scala:65)
	at scala.tools.nsc.Main.main(Main.scala)
%                                                                                             
 

; 


Script done on Sat Jul 14 18:27:06 2012