illegal cyclic reference involving class

[scabug]

The original title of this ticket referred specifically to JSoup. It's since been observed in other libraries.

test.scala:

object Test {
  def main(args : Array[String]) {
    val url = new java.net.URL("http://www.google.com/");
    org.jsoup.Jsoup.parse(url, 3000).select("img");
  }
}

Jsoup 1.3.1 is available here: http://jsoup.org/download

scalac -Ydebug -classpath jsoup-1.3.1.jar test.scala 2>err 1>out

[scabug]

Imported From: https://issues.scala-lang.org/browse/SI-3809?orig=1
Reporter: Ricky Clarkson (ricky_clarkson)
See #7481
Attachments:

• si3809_mellite_last.txt (created on May 15, 2013 8:48:14 AM UTC, 352223 bytes)
• simplified-marshalling-1.0-sources.jar (created on Feb 5, 2013 8:01:14 AM UTC, 1678 bytes)

[scabug]

Ricky Clarkson (ricky_clarkson) said:

class package; annotations = List()
constructor String; annotations = List(lang.this.Deprecated, scala.this.deprecated("see corresponding Javadoc for more information."))
constructor String; annotations = List(lang.this.Deprecated, scala.this.deprecated("see corresponding Javadoc for more information."))
method getBytes; annotations = List(lang.this.Deprecated, scala.this.deprecated("see corresponding Javadoc for more information."))
class package; annotations = List()
[running phase parser on test.scala]
[running phase namer on test.scala]
class Predef; annotations = List()
[running phase packageobjects on test.scala]
[running phase typer on test.scala]
trait ScalaObject; annotations = List()
trait ClassfileAnnotation; annotations = List()
class Annotation; annotations = List()
trait StaticAnnotation; annotations = List()
class List; annotations = List()
class package; annotations = List()
class SeqFactory; annotations = List()
class TraversableFactory; annotations = List()
class GenericCompanion; annotations = List()
class Array; annotations = List()
class LowPriorityImplicits; annotations = List()
method setURL; annotations = List(lang.this.Deprecated, scala.this.deprecated("see corresponding Javadoc for more information."))
method toURL; annotations = List(lang.this.Deprecated, scala.this.deprecated("see corresponding Javadoc for more information."), scala.this.throws(classOf[java.net.MalformedURLException]))
class Tuple2; annotations = List(scala.this.serializable)
trait Product2; annotations = List()
trait Product; annotations = List()
trait Equals; annotations = List()
trait IndexedSeq; annotations = List()
trait Seq; annotations = List()
trait GenericTraversableTemplate; annotations = List()
trait IndexedSeqLike; annotations = List()
trait PartialFunction; annotations = List()
trait Iterable; annotations = List()
trait SeqLike; annotations = List()
trait Function1; annotations = List()
trait Traversable; annotations = List()
trait IterableLike; annotations = List()
trait TraversableLike; annotations = List()
trait HasNewBuilder; annotations = List()
trait FilterMonadic; annotations = List()
trait TraversableOnce; annotations = List()
class uncheckedVariance; annotations = List()
trait TypeConstraint; annotations = List()
trait CanBuildFrom; annotations = List()
class StringOps; annotations = List()
trait StringLike; annotations = List()
trait IndexedSeqOptimized; annotations = List()
class package; annotations = List()
class MathCommon; annotations = List()
trait Ordered; annotations = List()
class StringAdd; annotations = List()
class ArrayOps; annotations = List()
trait IndexedSeq; annotations = List()
class WrappedString; annotations = List()
trait Seq; annotations = List()
trait Iterable; annotations = List()
trait Traversable; annotations = List()
trait Immutable; annotations = List()
trait Proxy; annotations = List()
class WrappedArray; annotations = List()
scala.tools.nsc.symtab.Types$$TypeError: illegal cyclic reference involving class Document
	at scala.tools.nsc.symtab.Types$$CompoundType.baseClasses(Types.scala:1271)
	at scala.tools.nsc.symtab.Types$$Type.findMember(Types.scala:820)
	at scala.tools.nsc.symtab.Types$$Type.member(Types.scala:471)
	at scala.tools.nsc.symtab.classfile.ClassfileParser$$innerClasses$$.getMember$$1(ClassfileParser.scala:1170)
	at scala.tools.nsc.symtab.classfile.ClassfileParser$$innerClasses$$$$anonfun$$14.apply(ClassfileParser.scala:1182)
	at scala.tools.nsc.symtab.classfile.ClassfileParser$$innerClasses$$$$anonfun$$14.apply(ClassfileParser.scala:1182)
	at scala.tools.nsc.symtab.SymbolTable.atPhase(SymbolTable.scala:103)
	at scala.tools.nsc.symtab.classfile.ClassfileParser$$innerClasses$$.innerSymbol$$1(ClassfileParser.scala:1182)
	at scala.tools.nsc.symtab.classfile.ClassfileParser$$innerClasses$$.classSymbol(ClassfileParser.scala:1197)
	at scala.tools.nsc.symtab.classfile.ClassfileParser.classNameToSymbol(ClassfileParser.scala:442)
	at scala.tools.nsc.symtab.classfile.ClassfileParser.sig2type$$1(ClassfileParser.scala:720)
	at scala.tools.nsc.symtab.classfile.ClassfileParser.sig2type$$1(ClassfileParser.scala:745)
	at scala.tools.nsc.symtab.classfile.ClassfileParser.scala$$tools$$nsc$$symtab$$classfile$$ClassfileParser$$$$sigToType(ClassfileParser.scala:798)
	at scala.tools.nsc.symtab.classfile.ClassfileParser$$ConstantPool.getType(ClassfileParser.scala:328)
	at scala.tools.nsc.symtab.classfile.ClassfileParser.parseMethod(ClassfileParser.scala:596)
	at scala.tools.nsc.symtab.classfile.ClassfileParser$$$$anonfun$$1$$$$anonfun$$apply$$mcV$$sp$$2.apply$$mcVI$$sp(ClassfileParser.scala:525)
	at scala.collection.immutable.Range$$ByOne$$class.foreach$$mVc$$sp(Range.scala:282)
	at scala.collection.immutable.Range$$$$anon$$2.foreach$$mVc$$sp(Range.scala:265)
	at scala.tools.nsc.symtab.classfile.ClassfileParser$$$$anonfun$$1.apply$$mcV$$sp(ClassfileParser.scala:525)
	at scala.tools.nsc.symtab.classfile.ClassfileParser.parseClass(ClassfileParser.scala:542)
	at scala.tools.nsc.symtab.classfile.ClassfileParser.parse(ClassfileParser.scala:98)
	at scala.tools.nsc.symtab.SymbolLoaders$$ClassfileLoader.doComplete(SymbolLoaders.scala:247)
	at scala.tools.nsc.symtab.SymbolLoaders$$SymbolLoader.complete(SymbolLoaders.scala:61)
	at scala.tools.nsc.symtab.SymbolLoaders$$SymbolLoader.complete(SymbolLoaders.scala:35)
	at scala.tools.nsc.symtab.Symbols$$Symbol.info(Symbols.scala:743)
	at scala.tools.nsc.symtab.Types$$TypeRef.thisInfo(Types.scala:1630)
	at scala.tools.nsc.symtab.Types$$TypeRef.baseClasses(Types.scala:1818)
	at scala.tools.nsc.symtab.Types$$CompoundType.computeBaseClasses$$1(Types.scala:1243)
	at scala.tools.nsc.symtab.Types$$CompoundType$$$$anonfun$$baseClasses$$1.apply(Types.scala:1267)
	at scala.tools.nsc.symtab.Types$$CompoundType$$$$anonfun$$baseClasses$$1.apply(Types.scala:1267)
	at scala.tools.nsc.symtab.Types$$CompoundType.memo(Types.scala:1280)
	at scala.tools.nsc.symtab.Types$$CompoundType.baseClasses(Types.scala:1267)
	at scala.tools.nsc.symtab.Types$$TypeRef.baseClasses(Types.scala:1818)
	at scala.tools.nsc.symtab.Types$$Type.findMember(Types.scala:820)
	at scala.tools.nsc.symtab.Types$$Type.nonLocalMember(Types.scala:489)
	at scala.tools.nsc.typechecker.Typers$$Typer.member(Typers.scala:684)
	at scala.tools.nsc.typechecker.Typers$$Typer.typedSelect$$1(Typers.scala:3473)
	at scala.tools.nsc.typechecker.Typers$$Typer.typed1(Typers.scala:3985)
	at scala.tools.nsc.typechecker.Typers$$Typer.typed(Typers.scala:4078)
	at scala.tools.nsc.typechecker.Typers$$Typer$$$$anonfun$$typedApply$$1$$1.apply(Typers.scala:3284)
	at scala.tools.nsc.typechecker.Typers$$Typer$$$$anonfun$$typedApply$$1$$1.apply(Typers.scala:3284)
	at scala.tools.nsc.typechecker.Typers$$Typer.silent(Typers.scala:699)
	at scala.tools.nsc.typechecker.Typers$$Typer.typedApply$$1(Typers.scala:3284)
	at scala.tools.nsc.typechecker.Typers$$Typer.typed1(Typers.scala:3924)
	at scala.tools.nsc.typechecker.Typers$$Typer.typed(Typers.scala:4078)
	at scala.tools.nsc.typechecker.Typers$$Typer.typedBlock(Typers.scala:1890)
	at scala.tools.nsc.typechecker.Typers$$Typer.typed1(Typers.scala:3769)
	at scala.tools.nsc.typechecker.Typers$$Typer.typed(Typers.scala:4078)
	at scala.tools.nsc.typechecker.Typers$$Typer.transformedOrTyped(Typers.scala:4222)
	at scala.tools.nsc.typechecker.Typers$$Typer.typedDefDef(Typers.scala:1747)
	at scala.tools.nsc.typechecker.Typers$$Typer.typed1(Typers.scala:3742)
	at scala.tools.nsc.typechecker.Typers$$Typer.typed(Typers.scala:4078)
	at scala.tools.nsc.typechecker.Typers$$Typer.typedStat$$1(Typers.scala:2067)
	at scala.tools.nsc.typechecker.Typers$$Typer$$$$anonfun$$20.apply(Typers.scala:2135)
	at scala.tools.nsc.typechecker.Typers$$Typer$$$$anonfun$$20.apply(Typers.scala:2135)
	at scala.collection.immutable.List.loop$$1(List.scala:115)
	at scala.collection.immutable.List.mapConserve(List.scala:132)
	at scala.tools.nsc.typechecker.Typers$$Typer.typedStats(Typers.scala:2135)
	at scala.tools.nsc.typechecker.Typers$$Typer.typedTemplate(Typers.scala:1507)
	at scala.tools.nsc.typechecker.Typers$$Typer.typedModuleDef(Typers.scala:1312)
	at scala.tools.nsc.typechecker.Typers$$Typer.typed1(Typers.scala:3736)
	at scala.tools.nsc.typechecker.Typers$$Typer.typed(Typers.scala:4078)
	at scala.tools.nsc.typechecker.Typers$$Typer.typedStat$$1(Typers.scala:2067)
	at scala.tools.nsc.typechecker.Typers$$Typer$$$$anonfun$$20.apply(Typers.scala:2135)
	at scala.tools.nsc.typechecker.Typers$$Typer$$$$anonfun$$20.apply(Typers.scala:2135)
	at scala.collection.immutable.List.loop$$1(List.scala:115)
	at scala.collection.immutable.List.mapConserve(List.scala:132)
	at scala.tools.nsc.typechecker.Typers$$Typer.typedStats(Typers.scala:2135)
	at scala.tools.nsc.typechecker.Typers$$Typer.typed1(Typers.scala:3729)
	at scala.tools.nsc.typechecker.Typers$$Typer.typed(Typers.scala:4078)
	at scala.tools.nsc.typechecker.Typers$$Typer.typed(Typers.scala:4126)
	at scala.tools.nsc.typechecker.Analyzer$$typerFactory$$$$anon$$3.apply(Analyzer.scala:85)
	at scala.tools.nsc.Global$$GlobalPhase$$$$anonfun$$applyPhase$$1.apply(Global.scala:276)
	at scala.tools.nsc.Global$$GlobalPhase$$$$anonfun$$applyPhase$$1.apply(Global.scala:276)
	at scala.tools.nsc.reporters.Reporter.withSource(Reporter.scala:48)
	at scala.tools.nsc.Global$$GlobalPhase.applyPhase(Global.scala:276)
	at scala.tools.nsc.typechecker.Analyzer$$typerFactory$$$$anon$$3$$$$anonfun$$run$$1.apply(Analyzer.scala:80)
	at scala.tools.nsc.typechecker.Analyzer$$typerFactory$$$$anon$$3$$$$anonfun$$run$$1.apply(Analyzer.scala:80)
	at scala.collection.Iterator$$class.foreach(Iterator.scala:631)
	at scala.collection.mutable.ListBuffer$$$$anon$$1.foreach(ListBuffer.scala:304)
	at scala.tools.nsc.typechecker.Analyzer$$typerFactory$$$$anon$$3.run(Analyzer.scala:80)
	at scala.tools.nsc.Global$$Run.compileSources(Global.scala:733)
	at scala.tools.nsc.Global$$Run.compile(Global.scala:813)
	at scala.tools.nsc.Main$$.process(Main.scala:108)
	at scala.tools.nsc.Main$$.main(Main.scala:122)
	at scala.tools.nsc.Main.main(Main.scala)
test.scala:4: error: illegal cyclic reference involving class Document
    org.jsoup.Jsoup.parse(url, 3000).select("img");
                                     ^
one error found

[scabug]

Ricky Clarkson (ricky_clarkson) said:
Scala 2.8.0-final

[scabug]

@lrytz said:
problem while parsing inner classes

[scabug]

Sam Stainsby (stainsby) said:
Stranglely in REPL it works on the third attempt :-/

scala> object Test {
| def main(args : Array[String]) {
| val url = new java.net.URL("http://www.google.com/");
| org.jsoup.Jsoup.parse(url, 3000).select("img");
| }
| }
:8: error: illegal cyclic reference involving class Document
org.jsoup.Jsoup.parse(url, 3000).select("img");
^

scala> object Test {
| def main(args : Array[String]) {
| val url = new java.net.URL("http://www.google.com/");
| org.jsoup.Jsoup.parse(url, 3000).select("img");
| }
| }
:8: error: illegal cyclic reference involving class Document
org.jsoup.Jsoup.parse(url, 3000).select("img");
^

scala> object Test {
| def main(args : Array[String]) {
| val url = new java.net.URL("http://www.google.com/");
| org.jsoup.Jsoup.parse(url, 3000).select("img");
| }
| }
defined module Test

This is 2.8.0.final with Jsoup 1.3.2

[scabug]

tommy chheng (tommy.chheng) said:
I"m running into this problem too with jsoup 1.3.3 and scala 2.8.1.final. I invoke a mvn test and get this error:

error: illegal cyclic reference involving class Document
[INFO] val title = document.select("title").text

Any ideas what's causing this problem or workaround?

[scabug]

@paulp said:
I have beaten up on this long enough to minimize the cause.

package bar;

// both f and g must be present
class A {
  void f(C.D arg) { }
}
class B extends A { 
  void g(C.D arg) { }
}
class C extends B {
  public class D { }
}

// the above wouldn't work anyway, but the cyclic reference hits
// before the package access check so it'll do.
scala> import bar.B._
<console>:5: error: illegal cyclic reference involving class C
       import bar.B._
                  ^

[scabug]

Atsuhiko Yamanaka (ymnk) said:
FYI, it seems the author of jsoup has changed the code, and
the reported problem will not appear on the latest jsoup version, anymore.

https://github.com/jhy/jsoup/issues/closed#issue/54

[scabug]

@paulp said:
Replying to [comment:9 ymnk]:

FYI, it seems the author of jsoup has changed the code, and
the reported problem will not appear on the latest jsoup version, anymore.

https://github.com/jhy/jsoup/issues/closed#issue/54

That is good for jsoup users, but please nobody close this ticket: this isn't fixed.

[scabug]

Oleg Poleshuk (relgames) said:
Same issue for me when using Google Tasks API:

error: illegal cyclic reference involving class Tasks:
val tasksService:Tasks = new Tasks(TRANSPORT, access, JSON_FACTORY)

[scabug]

Jerzy Muller (keros) said (edited on Oct 24, 2011 2:17:39 PM UTC):
Same one with Google Plus API:
error: illegal cyclic reference involving class Plus
val plus: Plus = new Plus(transport, factory)

Any chance of fix for this one soon?

[scabug]

@paulp said:
scala/scala#1422

[scabug]

@paulp said:
Nightly builds of scala 2.11 have a "-Ybreak-cycles" option. If any of the commenters or anyone else experiencing these issues can try that and tell me if it helps, it would be much appreciated. The references to the google tasks and google plus api leave a fairly enormous amount to do to see a reproduction.

[scabug]

Rice Yeh (riceyeh) said:
Release 2.11 will be released at least 1 year later. Couldn't this bug be fixed on more recent releases 2.10.* because many java libraries have this problem.

[scabug]

@paulp said:
If many java libraries have this problem, it would help a lot if people could post actual reproductions and not single-line decontextualized snippets. I once tried to reproduce based on the google tasks / plus API comments above and it was a ludicrous rabbit hole of unrelated complexity. I don't have time to master the google APIs for the thrill of reproducing this bug. But with more reproductions than the one from jsoup ( which no longer reproduces) I'd have a chance.