Using self type of a package object during method return type inference triggers infinite loop

[scabug]

When comiling the code, compiler gets stuck. Ctrl+C'ed after 10 minutes.

Reproducible using:
$ git clone git@github.com:cernoch/ScaLogic.git &&
cd ScaLogic && git reset --hard 44eba4220c9 && mvn test

[scabug]

Imported From: https://issues.scala-lang.org/browse/SI-7216?orig=1
Reporter: Radomír Černoch (radomir.cernoch)
Affected Versions: 2.10.0, 2.10.1-RC1, 2.10.1-RC3, 2.10.1

[scabug]

@paulp said:
Minimization is a necessary part of the reporting process.

[scabug]

@retronym said:
This will fix your project:

diff --git a/src/main/scala/cernoch/scalogic/package.scala
index b894eb6..c03f24c 100644
--- a/src/main/scala/cernoch/scalogic/package.scala
+++ b/src/main/scala/cernoch/scalogic/package.scala
@@ -3,7 +3,8 @@ package cernoch.scalogic
 import collection.mutable.ListBuffer
 import collection.mutable

-object `package` { pac =>
+object `package` {
+       val pac = this;
        implicit def atom2blc (a: Atom) = BLC(a)
        implicit def blc2atom (m: BLC)  = m.head

Minimized:

object `package` { self =>
  def foo = self // infinite loop

  // okay
  def bar = this
  // okay
  def baz: Any = self
}

object obj { self =>
  // okay
  def foo = self
}

[scabug]

Radomír Černoch (radomir.cernoch) said:
Thank you, I was just about to write the same... ;-)

[scabug]

Radomír Černoch (radomir.cernoch) said:
I've also noted that

scalac src/main/scala/cernoch/scalogic/package.scala

works well, meanwhile the Maven's

java -cp scala-compiler-2.10.0.jar:scala-reflect-2.10.0.jar:scala-library-2.10.0.jar scala.tools.nsc.Main -deprecation src/main/scala/cernoch/scalogic/package.scala

ends in the loop.

[scabug]

@retronym said:
It seems to be a regression from 2.9, perhaps your command line compiler isn't 2.10.0?

[scabug]

Radomír Černoch (radomir.cernoch) said:
Sorry, you are right. I've changed the CLI compiler back and forth between 2.9 and 2.10 several times and confused myself...