VerifyError with recursive case object

[scabug]

object Omega extends Application {

trait Nat {
  def isZero() : Boolean
  def pred() : Nat
  def toInt() : Int = 
   this match {
     case Zero() => 0 
     case Succ(p) => p.toInt + 1 
   }
}

case class Zero() extends Nat { 
  def isZero() = true
  def pred() = null
}

case class Succ(p : Nat) extends Nat {
  def isZero  = false
  def pred() = p
}

case object Omega extends Succ(Omega) 

println(Omega.toInt)

}

yields

java.lang.VerifyError: (class: Omega$$Omega$$, method: <init> signature: ()V) Expecting to find object/array on stack
	at Omega$$.<init>(omega.scala:25)
	at Omega$$.<clinit>(omega.scala)
	at Omega.main(omega.scala)
	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
	at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
	at java.lang.reflect.Method.invoke(Method.java:585)
	at scala.tools.nsc.ObjectRunner$$$$anonfun$$run$$1.apply(ObjectRunner.scala:75)
	at scala.tools.nsc.ObjectRunner$$.withContextClassLoader(ObjectRunner.scala:49)
	at scala.tools.nsc.ObjectRunner$$.run(ObjectRunner.scala:74)
	at scala.tools.nsc.MainGenericRunner$$.main(MainGenericRunner.scala:154)
	at scala.tools.nsc.MainGenericRunner.main(MainGenericRunner.scala)

[scabug]

Imported From: https://issues.scala-lang.org/browse/SI-1725?orig=1
Reporter: Geoffrey Alan Washburn (washburn)

[scabug]

Geoffrey Alan Washburn (washburn) said:
I should note that my expectation here would be that the program would go into an infinite loop or give a stack overflow error.

[scabug]

Geoffrey Alan Washburn (washburn) said:
Further investigation reveals that this doesn't have anything to do with the method call, but with the initialization of the Omega case object. The same problem occurs if the println statement is just replaced with Omega.

[scabug]

@dragos said:
The correct behavior would be a type error, as the JVM does not allow calling methods (including super constructors) with uninitialized objects as arguments.

[scabug]

Geoffrey Alan Washburn (washburn) said:
Replying to [comment:4 dragos]:

The correct behavior would be a type error, as the JVM does not allow calling methods (including super constructors) with uninitialized objects as arguments.

That is unfortunate as it is a cute example.

[scabug]

@paulp said:
I see you fellows do not run with bleeding edge trunk. I checked in a fix for this a couple days ago, this is a duplicate of #473 (which has a misleading title I should have changed.) It no longer compiles:

$$ scalac a.scala 
a.scala:23: error: super constructor cannot be passed a self reference unless parameter is declared by-name
case object Omega extends Succ(Omega) 
            ^
one error found

Say the word if you'd prefer a different fix.