Compiler gets stuck in GC while SubstSym

[lrytz]

Discovered while looking at scala/scala#7355

Check out this branch: https://github.com/lrytz/scala/tree/pr7355-stuck (this was the tip of scala/scala#7355 at some point), run sbt dist/mkQuick

Get Test.scala from here https://gist.github.com/lrytz/83067340d568c999091fc9ae67bfb72b

Run the quick compiler with export JAVA_OPTS="-Xmx1024m"

Compiling the same test file with current 2.13.x works, so the changes to the library made in the PR seem to be necessary to expose the compiler bug.

Profiler screenshot:

[lrytz]

I appreciate if people try it out to see this is an issue on my side or if it also happens for them.

[retronym]

Using https://github.com/retronym/scala/tree/ticket/11249-investigate (which fixes a bug in `-Ytyper-debug that triggers cyclic errors):

$ qscalac -J-Xmx1G /code/gist/83067340d568c999091fc9ae67bfb72b/Test.scala -Ytyper-debug -J-XX:+PrintGCDetails -Ydebug
...
|    |    |    |    |    |    |-- { final <synthetic> <artifact> val rassoc$8 = Vector; Nil.$colon$colon(rassoc$8) }.$colon$colon(rassoc$9) EXPRmode-POLYmode (silent: method sizeCompare_properlyLazy in LazyListLazinessTest, a MethodSymbol with flags <method>)
|    |    |    |    |    |    |    |-- { final <synthetic> <artifact> val rassoc$8 = Vector; Nil.$colon$colon(rassoc$8) }.$colon$colon BYVALmode-EXPRmode-FUNmode-POLYmode (silent: method sizeCompare_properlyLazy in LazyListLazinessTest, a MethodSymbol with flags <method>)
|    |    |    |    |    |    |    |    |-- { final <synthetic> <artifact> val rassoc$8 = Vector; Nil.$colon$colon(rassoc$8) } EXPRmode-POLYmode-QUALmode (silent: method sizeCompare_properlyLazy in LazyListLazinessTest, a MethodSymbol with flags <method>)
|    |    |    |    |    |    |    |    |    |-- value rassoc$8 BYVALmode-EXPRmode (silent: method sizeCompare_properlyLazy in LazyListLazinessTest, a MethodSymbol with flags <method>)
|    |    |    |    |    |    |    |    |    |    |-- Vector EXPRmode (silent: value rassoc$8 in LazyListLazinessTest, a TermSymbol with flags final <synthetic> <locked> <artifact>)
|    |    |    |    |    |    |    |    |    |    |    \-> immutable.this.Vector.type
|    |    |    |    |    |    |    |    |    |    \-> [val rassoc$8] immutable.this.Vector.type
|    |    |    |    |    |    |    |    |    |-- Nil.$colon$colon(rassoc$8) EXPRmode-POLYmode (silent: method sizeCompare_properlyLazy in LazyListLazinessTest, a MethodSymbol with flags <method>)
|    |    |    |    |    |    |    |    |    |    |-- Nil.$colon$colon BYVALmode-EXPRmode-FUNmode-POLYmode (silent: method sizeCompare_properlyLazy in LazyListLazinessTest, a MethodSymbol with flags <method>)
|    |    |    |    |    |    |    |    |    |    |    |-- Nil EXPRmode-POLYmode-QUALmode (silent: method sizeCompare_properlyLazy in LazyListLazinessTest, a MethodSymbol with flags <method>)
|    |    |    |    |    |    |    |    |    |    |    |    \-> immutable.this.Nil.type
|    |    |    |    |    |    |    |    |    |    |    [adapt] method $colon$colon adapted to method $colon$colon
|    |    |    |    |    |    |    |    |    |    |    \-> (<param> elem: B)immutable.this.List[B]
|    |    |    |    |    |    |    |    |    |    |-- rassoc$8 BYVALmode-EXPRmode-POLYmode (silent: method sizeCompare_properlyLazy in LazyListLazinessTest, a MethodSymbol with flags <method>)
|    |    |    |    |    |    |    |    |    |    |    \-> immutable.this.Vector.type
|    |    |    |    |    |    |    |    |    |    solving for (B: ?B)
|    |    |    |    |    |    |    |    |    |    \-> immutable.this.List[immutable.this.Vector.type]
|    |    |    |    |    |    |    |    |    \-> immutable.this.List[immutable.this.Vector.type]
|    |    |    |    |    |    |    |    [adapt] method $colon$colon adapted to method $colon$colon
|    |    |    |    |    |    |    |    \-> (<param> elem: B)immutable.this.List[B]
|    |    |    |    |    |    |    |-- rassoc$9 BYVALmode-EXPRmode-POLYmode (silent: method sizeCompare_properlyLazy in LazyListLazinessTest, a MethodSymbol with flags <method>)
|    |    |    |    |    |    |    |    \-> immutable.this.LazyList.type
|    |    |    |    |    |    |    solving for (B: ?B)
warning: !!! HK subtype check on [A](<param> source: collection.this.IterableOnce[A])immutable.this.AbstractSeq[A]{<method> def updated[B >: A](<param> index: scala.this.Int, <param> elem: B): immutable.this.AbstractSeq[B]; <method> def patch[B >: A](<param> from: scala.this.Int, <param> other: collection.this.IterableOnce[B], <param> replaced: scala.this.Int): immutable.this.AbstractSeq[B]; <method> def padTo[B >: A](<param> len: scala.this.Int, <param> elem: B): immutable.this.AbstractSeq[B]; <method> def reverse: immutable.this.AbstractSeq[A]; <method> def appendedAll[B >: A](<param> suffix: collection.this.IterableOnce[B]): immutable.this.AbstractSeq[B]; <method> def prependedAll[B >: A](<param> prefix: collection.this.IterableOnce[B]): immutable.this.AbstractSeq[B]; <method> def appended[B >: A](<param> value: B): immutable.this.AbstractSeq[B]; <method> def prepended[B >: A](<param> value: B): immutable.this.AbstractSeq[B]; <method> def zipWithIndex: immutable.this.AbstractSeq[scala.this.Tuple2[A,scala.this.Int]]; <method> def zip[B](<param> that: collection.this.IterableOnce[B]): immutable.this.AbstractSeq[scala.this.Tuple2[A,B]]; <method> def slice(<param> from: scala.this.Int, <param> until: scala.this.Int): immutable.this.AbstractSeq[A]; <method> def tail: immutable.this.AbstractSeq[A]; <method> def dropRight(<param> n: scala.this.Int): immutable.this.AbstractSeq[A]; <method> def drop(<param> n: scala.this.Int): immutable.this.AbstractSeq[A]; <method> def takeRight(<param> n: scala.this.Int): immutable.this.AbstractSeq[A]; <method> def take(<param> n: scala.this.Int): immutable.this.AbstractSeq[A]} and (<param> start: scala.this.Int)immutable.this.LazyList[scala.this.Int], but both don't normalize to polytypes:
  tp1=[A](<param> source: collection.this.IterableOnce[A])immutable.this.AbstractSeq[A]{<method> def updated[B >: A](<param> index: scala.this.Int, <param> elem: B): immutable.this.AbstractSeq[B]; <method> def patch[B >: A](<param> from: scala.this.Int, <param> other: collection.this.IterableOnce[B], <param> replaced: scala.this.Int): immutable.this.AbstractSeq[B]; <method> def padTo[B >: A](<param> len: scala.this.Int, <param> elem: B): immutable.this.AbstractSeq[B]; <method> def reverse: immutable.this.AbstractSeq[A]; <method> def appendedAll[B >: A](<param> suffix: collection.this.IterableOnce[B]): immutable.this.AbstractSeq[B]; <method> def prependedAll[B >: A](<param> prefix: collection.this.IterableOnce[B]): immutable.this.AbstractSeq[B]; <method> def appended[B >: A](<param> value: B): immutable.this.AbstractSeq[B]; <method> def prepended[B >: A](<param> value: B): immutable.this.AbstractSeq[B]; <method> def zipWithIndex: immutable.this.AbstractSeq[scala.this.Tuple2[A,scala.this.Int]]; <method> def zip[B](<param> that: collection.this.IterableOnce[B]): immutable.this.AbstractSeq[scala.this.Tuple2[A,B]]; <method> def slice(<param> from: scala.this.Int, <param> until: scala.this.Int): immutable.this.AbstractSeq[A]; <method> def tail: immutable.this.AbstractSeq[A]; <method> def dropRight(<param> n: scala.this.Int): immutable.this.AbstractSeq[A]; <method> def drop(<param> n: scala.this.Int): immutable.this.AbstractSeq[A]; <method> def takeRight(<param> n: scala.this.Int): immutable.this.AbstractSeq[A]; <method> def take(<param> n: scala.this.Int): immutable.this.AbstractSeq[A]} PolyType
  tp2=(<param> start: scala.this.Int)immutable.this.LazyList[scala.this.Int] MethodType
warning: !!! HK subtype check on [A](<param> source: collection.this.IterableOnce[A])immutable.this.AbstractSeq[A]{<method> def updated[B >: A](<param> index: scala.this.Int, <param> elem: B): immutable.this.AbstractSeq[B]; <method> def patch[B >: A](<param> from: scala.this.Int, <param> other: collection.this.IterableOnce[B], <param> replaced: scala.this.Int): immutable.this.AbstractSeq[B]; <method> def padTo[B >: A](<param> len: scala.this.Int, <param> elem: B): immutable.this.AbstractSeq[B]; <method> def reverse: immutable.this.AbstractSeq[A]; <method> def appendedAll[B >: A](<param> suffix: collection.this.IterableOnce[B]): immutable.this.AbstractSeq[B]; <method> def prependedAll[B >: A](<param> prefix: collection.this.IterableOnce[B]): immutable.this.AbstractSeq[B]; <method> def appended[B >: A](<param> value: B): immutable.this.AbstractSeq[B]; <method> def prepended[B >: A](<param> value: B): immutable.this.AbstractSeq[B]; <method> def zipWithIndex: immutable.this.AbstractSeq[scala.this.Tuple2[A,scala.this.Int]]; <method> def zip[B](<param> that: collection.this.IterableOnce[B]): immutable.this.AbstractSeq[scala.this.Tuple2[A,B]]; <method> def slice(<param> from: scala.this.Int, <param> until: scala.this.Int): immutable.this.AbstractSeq[A]; <method> def tail: immutable.this.AbstractSeq[A]; <method> def dropRight(<param> n: scala.this.Int): immutable.this.AbstractSeq[A]; <method> def drop(<param> n: scala.this.Int): immutable.this.AbstractSeq[A]; <method> def takeRight(<param> n: scala.this.Int): immutable.this.AbstractSeq[A]; <method> def take(<param> n: scala.this.Int): immutable.this.AbstractSeq[A]} and (<param> start: scala.this.Int, <param> step: scala.this.Int)immutable.this.LazyList[scala.this.Int], but both don't normalize to polytypes:
  tp1=[A](<param> source: collection.this.IterableOnce[A])immutable.this.AbstractSeq[A]{<method> def updated[B >: A](<param> index: scala.this.Int, <param> elem: B): immutable.this.AbstractSeq[B]; <method> def patch[B >: A](<param> from: scala.this.Int, <param> other: collection.this.IterableOnce[B], <param> replaced: scala.this.Int): immutable.this.AbstractSeq[B]; <method> def padTo[B >: A](<param> len: scala.this.Int, <param> elem: B): immutable.this.AbstractSeq[B]; <method> def reverse: immutable.this.AbstractSeq[A]; <method> def appendedAll[B >: A](<param> suffix: collection.this.IterableOnce[B]): immutable.this.AbstractSeq[B]; <method> def prependedAll[B >: A](<param> prefix: collection.this.IterableOnce[B]): immutable.this.AbstractSeq[B]; <method> def appended[B >: A](<param> value: B): immutable.this.AbstractSeq[B]; <method> def prepended[B >: A](<param> value: B): immutable.this.AbstractSeq[B]; <method> def zipWithIndex: immutable.this.AbstractSeq[scala.this.Tuple2[A,scala.this.Int]]; <method> def zip[B](<param> that: collection.this.IterableOnce[B]): immutable.this.AbstractSeq[scala.this.Tuple2[A,B]]; <method> def slice(<param> from: scala.this.Int, <param> until: scala.this.Int): immutable.this.AbstractSeq[A]; <method> def tail: immutable.this.AbstractSeq[A]; <method> def dropRight(<param> n: scala.this.Int): immutable.this.AbstractSeq[A]; <method> def drop(<param> n: scala.this.Int): immutable.this.AbstractSeq[A]; <method> def takeRight(<param> n: scala.this.Int): immutable.this.AbstractSeq[A]; <method> def take(<param> n: scala.this.Int): immutable.this.AbstractSeq[A]} PolyType
  tp2=(<param> start: scala.this.Int, <param> step: scala.this.Int)immutable.this.LazyList[scala.this.Int] MethodType
|    |    |    |    |    |    |    \-> immutable.this.List[collection.this.SeqFactory[[A]immutable.this.AbstractSeq[A]{<method> def updated[B >: A](<param> index: scala.this.Int, <param> elem: B): immutable.this.AbstractSeq[B]; <method> def patch[B >: A](<param> from: scala.this.Int, <param> other: collection.this.IterableOnce[B], <param> replaced: scala.this.Int): immutable.this.AbstractSeq[B]; <method> def padTo[B >: A](<param> len: scala.this.Int, <param> elem: B): immutable.this.AbstractSeq[B]; <method> def reverse: immutable.this.AbstractSeq[A]; <method> def appendedAll[B >: A](<param> suffix: collection.this.IterableOnce[B]): immutable.this.AbstractSeq[B]; <method> def prependedAll[B >: A](<param> prefix: collection.this.IterableOnce[B]): immutable.this.AbstractSeq[B]; <method> def appended[B >: A](<param> value: B): immutable.this.AbstractSeq[B]; <method> def prepended[B >: A](<param> value: B): immutable.this.AbstractSeq[B]; <method> def zipWithIndex: immutable.this.AbstractSeq[scala.this.Tuple2[A,scala.this.Int]]; <method> def zip[B](<param> that: collection.this.IterableOnce[B]): immutable.this.AbstractSeq[scala.this.Tuple2[A,B]]; <method> def slice(<param> from: scala.this.Int, <param> until: scala.this.Int): immutable.this.AbstractSeq[A]; <method> def tail: immutable.this.AbstractSeq[A]; <method> def dropRight(<param> n: scala.this.Int): immutable.this.AbstractSeq[A]; <method> def drop(<param> n: scala.this.Int): immutable.this.AbstractSeq[A]; <method> def takeRight(<param> n: scala.this.Int): immutable.this.AbstractSeq[A]; <method> def take(<param> n: scala.this.Int): immutable.this.AbstractSeq[A]}]]
|    |    |    |    |    |    \-> immutable.this.List[collection.this.SeqFactory[[A]immutable.this.AbstractSeq[A]{<method> def updated[B >: A](<param> index: scala.this.Int, <param> elem: B): immutable.this.AbstractSeq[B]; <method> def patch[B >: A](<param> from: scala.this.Int, <param> other: collection.this.IterableOnce[B], <param> replaced: scala.this.Int): immutable.this.AbstractSeq[B]; <method> def padTo[B >: A](<param> len: scala.this.Int, <param> elem: B): immutable.this.AbstractSeq[B]; <method> def reverse: immutable.this.AbstractSeq[A]; <method> def appendedAll[B >: A](<param> suffix: collection.this.IterableOnce[B]): immutable.this.AbstractSeq[B]; <method> def prependedAll[B >: A](<param> prefix: collection.this.IterableOnce[B]): immutable.this.AbstractSeq[B]; <method> def appended[B >: A](<param> value: B): immutable.this.AbstractSeq[B]; <method> def prepended[B >: A](<param> value: B): immutable.this.AbstractSeq[B]; <method> def zipWithIndex: immutable.this.AbstractSeq[scala.this.Tuple2[A,scala.this.Int]]; <method> def zip[B](<param> that: collection.this.IterableOnce[B]): immutable.this.AbstractSeq[scala.this.Tuple2[A,B]]; <method> def slice(<param> from: scala.this.Int, <param> until: scala.this.Int): immutable.this.AbstractSeq[A]; <method> def tail: immutable.this.AbstractSeq[A]; <method> def dropRight(<param> n: scala.this.Int): immutable.this.AbstractSeq[A]; <method> def drop(<param> n: scala.this.Int): immutable.this.AbstractSeq[A]; <method> def takeRight(<param> n: scala.this.Int): immutable.this.AbstractSeq[A]; <method> def take(<param> n: scala.this.Int): immutable.this.AbstractSeq[A]}]]
|    |    |    |    |    [adapt] method foreach adapted to method foreach
|    |    |    |    |    \-> (<param> f: scala.this.Function1[collection.this.SeqFactory[[A]immutable.this.AbstractSeq[A]{<method> def updated[B >: A](<param> index: scala.this.Int, <param> elem: B): immutable.this.AbstractSeq[B]; <method> def patch[B >: A](<param> from: scala.this.Int, <param> other: collection.this.IterableOnce[B], <param> replaced: scala.this.Int): immutable.this.AbstractSeq[B]; <method> def padTo[B >: A](<param> len: scala.this.Int, <param> elem: B): immutable.this.AbstractSeq[B]; <method> def reverse: immutable.this.AbstractSeq[A]; <method> def appendedAll[B >: A](<param> suffix: collection.this.IterableOnce[B]): immutable.this.AbstractSeq[B]; <method> def prependedAll[B >: A](<param> prefix: collection.this.IterableOnce[B]): immutable.this.AbstractSeq[B]; <method> def appended[B >: A](<param> value: B): immutable.this.AbstractSeq[B]; <method> def prepended[B >: A](<param> value: B): immutable.this.AbstractSeq[B]; <method> def zipWithIndex: immutable.this.AbstractSeq[scala.this.Tuple2[A,scala.this.Int]]; <method> def zip[B](<param> that: collection.this.IterableOnce[B]): immutable.this.AbstractSeq[scala.this.Tuple2[A,B]]; <method> def slice(<param> from: scala.this.Int, <param> until: scala.this.Int): immutable.this.AbstractSeq[A]; <method> def tail: immutable.this.AbstractSeq[A]; <method> def dropRight(<param> n: scala.this.Int): immutable.this.AbstractSeq[A]; <method> def drop(<param> n: scala.this.Int): immutable.this.AbstractSeq[A]; <method> def takeRight(<param> n: scala.this.Int): immutable.this.AbstractSeq[A]; <method> def take(<param> n: scala.this.Int): immutable.this.AbstractSeq[A]}],U])scala.this.Unit
|    |    |    |    |-- ((factory) => { assertLazyAllHeads(((x$92) => x$92.sizeCompare(factory.fill(LazinessChecker.count)(1)))); assertLazyAllSkipping(((x$93) => x$93.sizeCompare(factory.fill(3)(1))), 3, skipExtraState = true) }) : pt=scala.this.Function1[collection.this.SeqFactory[[A]immutable.this.AbstractSeq[A]{<method> def updated[B >: A](<param> index: scala.this.Int, <param> elem: B): immutable.this.AbstractSeq[B]; <method> def patch[B >: A](<param> from: scala.this.Int, <param> other: collection.this.IterableOnce[B], <param> replaced: scala.this.Int): immutable.this.AbstractSeq[B]; <method> def padTo[B >: A](<param> len: scala.this.Int, <param> elem: B): immutable.this.AbstractSeq[B]; <method> def reverse: immutable.this.AbstractSeq[A]; <method> def appendedAll[B >: A](<param> suffix: collection.this.IterableOnce[B]): immutable.this.AbstractSeq[B]; <method> def prependedAll[B >: A](<param> prefix: collection.this.IterableOnce[B]): immutable.this.AbstractSeq[B]; <method> def appended[B >: A](<param> value: B): immutable.this.AbstractSeq[B]; <method> def prepended[B >: A](<param> value: B): immutable.this.AbstractSeq[B]; <method> def zipWithIndex: immutable.this.AbstractSeq[scala.this.Tuple2[A,scala.this.Int]]; <method> def zip[B](<param> that: collection.this.IterableOnce[B]): immutable.this.AbstractSeq[scala.this.Tuple2[A,B]]; <method> def slice(<param> from: scala.this.Int, <param> until: scala.this.Int): immutable.this.AbstractSeq[A]; <method> def tail: immutable.this.AbstractSeq[A]; <method> def dropRight(<param> n: scala.this.Int): immutable.this.AbstractSeq[A]; <method> def drop(<param> n: scala.this.Int): immutable.this.AbstractSeq[A]; <method> def takeRight(<param> n: scala.this.Int): immutable.this.AbstractSeq[A]; <method> def take(<param> n: scala.this.Int): immutable.this.AbstractSeq[A]}],?] BYVALmode-EXPRmode-POLYmode (site: method sizeCompare_properlyLazy in LazyListLazinessTest, a MethodSymbol with flags <method>)
|    |    |    |    |    |-- { assertLazyAllHeads(((x$92) => x$92.sizeCompare(factory.fill(LazinessChecker.count)(1)))); assertLazyAllSkipping(((x$93) => x$93.sizeCompare(factory.fill(3)(1))), 3, skipExtraState = true) } EXPRmode (site: value $anonfun in LazyListLazinessTest, a TermSymbol with flags <synthetic>)
|    |    |    |    |    |    |-- assertLazyAllHeads(((x$92) => x$92.sizeCompare(factory.fill(LazinessChecker.count)(1)))) BYVALmode-EXPRmode (site: value $anonfun in LazyListLazinessTest, a TermSymbol with flags <synthetic>)
|    |    |    |    |    |    |    |-- assertLazyAllHeads BYVALmode-EXPRmode-FUNmode-POLYmode (silent: value $anonfun in LazyListLazinessTest, a TermSymbol with flags <synthetic>)
|    |    |    |    |    |    |    |    [adapt] method assertLazyAllHeads adapted to method assertLazyAllHeads
|    |    |    |    |    |    |    |    \-> (<param> op: immutable.this.LazyListLazinessTest.LazyListOp[U])scala.this.Unit
|    |    |    |    |    |    |    |-- ((x$92) => x$92.sizeCompare(factory.fill(LazinessChecker.count)(1))) : pt=immutable.this.LazyListLazinessTest.LazyListOp[?] BYVALmode-EXPRmode-POLYmode (site: value $anonfun in LazyListLazinessTest, a TermSymbol with flags <synthetic>)
|    |    |    |    |    |    |    |    |-- x$92.sizeCompare(factory.fill(LazinessChecker.count)(1)) EXPRmode (site: value $anonfun in LazyListLazinessTest, a TermSymbol with flags <synthetic>)
|    |    |    |    |    |    |    |    |    |-- x$92.sizeCompare BYVALmode-EXPRmode-FUNmode-POLYmode (silent: value $anonfun in LazyListLazinessTest, a TermSymbol with flags <synthetic>)
|    |    |    |    |    |    |    |    |    |    |-- x$92 EXPRmode-POLYmode-QUALmode (silent: value $anonfun in LazyListLazinessTest, a TermSymbol with flags <synthetic>)
|    |    |    |    |    |    |    |    |    |    |    \-> x$92.type (with underlying type immutable.this.LazyList[scala.this.Int])
|    |    |    |    |    |    |    |    |    |    \-> (<param> that: collection.this.Iterable[_$1] forSome { type _$1 })scala.this.Int <and> (<param> _size: scala.this.Int)scala.this.Int
|    |    |    |    |    |    |    |    |    |-- factory.fill(LazinessChecker.count)(1) BYVALmode-EXPRmode (silent: value $anonfun in LazyListLazinessTest, a TermSymbol with flags <synthetic>)
|    |    |    |    |    |    |    |    |    |    |-- factory.fill(LazinessChecker.count) BYVALmode-EXPRmode-FUNmode-POLYmode (silent: value $anonfun in LazyListLazinessTest, a TermSymbol with flags <synthetic>)
|    |    |    |    |    |    |    |    |    |    |    |-- factory.fill BYVALmode-EXPRmode-FUNmode-POLYmode (silent: value $anonfun in LazyListLazinessTest, a TermSymbol with flags <synthetic>)
|    |    |    |    |    |    |    |    |    |    |    |    |-- factory EXPRmode-POLYmode-QUALmode (silent: value $anonfun in LazyListLazinessTest, a TermSymbol with flags <synthetic>)
|    |    |    |    |    |    |    |    |    |    |    |    |    \-> factory.type (with underlying type collection.this.SeqFactory[[A]immutable.this.AbstractSeq[A]{<method> def updated[B >: A](<param> index: scala.this.Int, <param> elem: B): immutable.this.AbstractSeq[B]; <method> def patch[B >: A](<param> from: scala.this.Int, <param> other: collection.this.IterableOnce[B], <param> replaced: scala.this.Int): immutable.this.AbstractSeq[B]; <method> def padTo[B >: A](<param> len: scala.this.Int, <param> elem: B): immutable.this.AbstractSeq[B]; <method> def reverse: immutable.this.AbstractSeq[A]; <method> def appendedAll[B >: A](<param> suffix: collection.this.IterableOnce[B]): immutable.this.AbstractSeq[B]; <method> def prependedAll[B >: A](<param> prefix: collection.this.IterableOnce[B]): immutable.this.AbstractSeq[B]; <method> def appended[B >: A](<param> value: B): immutable.this.AbstractSeq[B]; <method> def prepended[B >: A](<param> value: B): immutable.this.AbstractSeq[B]; <method> def zipWithIndex: immutable.this.AbstractSeq[scala.this.Tuple2[A,scala.this.Int]]; <method> def zip[B](<param> that: collection.this.IterableOnce[B]): immutable.this.AbstractSeq[scala.this.Tuple2[A,B]]; <method> def slice(<param> from: scala.this.Int, <param> until: scala.this.Int): immutable.this.AbstractSeq[A]; <method> def tail: immutable.this.AbstractSeq[A]; <method> def dropRight(<param> n: scala.this.Int): immutable.this.AbstractSeq[A]; <method> def drop(<param> n: scala.this.Int): immutable.this.AbstractSeq[A]; <method> def takeRight(<param> n: scala.this.Int): immutable.this.AbstractSeq[A]; <method> def take(<param> n: scala.this.Int): immutable.this.AbstractSeq[A]}])
[GC (Allocation Failure) [PSYoungGen: 58884K->4813K(62976K)] 83943K->29881K(114688K), 0.0043112 secs] [Times: user=0.02 sys=0.00, real=0.00 secs]
[GC (Allocation Failure) [PSYoungGen: 59085K->4354K(73216K)] 84153K->29430K(124928K), 0.0038224 secs] [Times: user=0.02 sys=0.00, real=0.01 secs]
[GC (Allocation Failure) [PSYoungGen: 69005K->4878K(73216K)] 94081K->29961K(124928K), 0.0043530 secs] [Times: user=0.03 sys=0.00, real=0.00 secs]
[GC (Allocation Failure) [PSYoungGen: 69902K->5164K(87552K)] 94985K->30247K(139264K), 0.0047378 secs] [Times: user=0.03 sys=0.01, real=0.01 secs]
[GC (Allocation Failure) [PSYoungGen: 83801K->5806K(87040K)] 108884K->30889K(138752K), 0.0042617 secs] [Times: user=0.02 sys=0.01, real=0.01 secs]
[GC (Allocation Failure) [PSYoungGen: 85166K->6243K(98816K)] 110249K->31326K(150528K), 0.0039794 secs] [Times: user=0.02 sys=0.00, real=0.00 secs]
[GC (Allocation Failure) [PSYoungGen: 97379K->6766K(99328K)] 122462K->31850K(151040K), 0.0039367 secs] [Times: user=0.02 sys=0.01, real=0.00 secs]
[GC (Allocation Failure) [PSYoungGen: 97902K->7541K(113152K)] 122986K->32632K(164864K), 0.0046445 secs] [Times: user=0.01 sys=0.01, real=0.00 secs]
...
OutOfMemoryError

Pausing in a debugger at that time, this seems to happen while typechecking:

factory.fill(LazinessChecker.count) (source-/Users/jz/code/gist/83067340d568c999091fc9ae67bfb72b/Test.scala,line-410,offset=13453)

[retronym]

scala> import scala.collection._; List(LazyList, Vector).head.fill(0)("")
warning: -nc is deprecated: scripts use cold compilation by default; use -Yscriptrunner for custom behavior
[GC (Allocation Failure) [PSYoungGen: 43451K->7156K(45056K)] 64839K->30328K(92672K), 0.0071199 secs] [Times: user=0.05 sys=0.00, real=0.01 secs]
[GC (Allocation Failure) [PSYoungGen: 45044K->8700K(49664K)] 68216K->41447K(97280K), 0.0155547 secs] [Times: user=0.08 sys=0.01, real=0.02 secs]
[GC (Allocation Failure) [PSYoungGen: 49660K->13303K(54272K)] 82407K->55138K(101888K), 0.0157232 secs] [Times: user=0.07 sys=0.01, real=0.01 secs]
[Full GC (Ergonomics) [PSYoungGen: 13303K->0K(54272K)] [ParOldGen: 41834K->37092K(72704K)] 55138K->37092K(126976K), [Metaspace: 42035K->42035K(1091584K)], 0.1728355 secs] [Times: user=0.94 sys=0.01, real=0.17 secs]
[GC (Allocation Failure) [PSYoungGen: 40960K->5408K(69120K)] 78052K->42500K(141824K), 0.0082882 secs] [Times: user=0.04 sys=0.01, real=0.01 secs]
[GC (Allocation Failure) [PSYoungGen: 55584K->7392K(57856K)] 92676K->44484K(130560K), 0.0099100 secs] [Times: user=0.05 sys=0.00, real=0.01 secs]
[GC (Allocation Failure) [PSYoungGen: 57568K->8320K(67584K)] 94660K->45412K(140288K), 0.0114738 secs] [Times: user=0.06 sys=0.00, real=0.01 secs]
[GC (Allocation Failure) [PSYoungGen: 59008K->7296K(67072K)] 96100K->46532K(139776K), 0.0117115 secs] [Times: user=0.05 sys=0.00, real=0.01 secs]
[GC (Allocation Failure) [PSYoungGen: 57984K->5728K(70144K)] 97220K->48140K(142848K), 0.0107276 secs] [Times: user=0.06 sys=0.00, real=0.01 secs]
[GC (Allocation Failure) [PSYoungGen: 60000K->7552K(69632K)] 102412K->53324K(142336K), 0.0108619 secs] [Times: user=0.06 sys=0.00, real=0.01 secs]
[GC (Allocation Failure) [PSYoungGen: 61824K->4544K(70144K)] 107596K->57276K(142848K), 0.0103596 secs] [Times: user=0.06 sys=0.01, real=0.01 secs]
[GC (Allocation Failure) [PSYoungGen: 60352K->6848K(70144K)] 113084K->61572K(142848K), 0.0162360 secs] [Times: user=0.07 sys=0.00, real=0.01 secs]
[GC (Allocation Failure) [PSYoungGen: 62656K->6496K(72192K)] 117380K->65644K(144896K), 0.0148061 secs] [Times: user=0.07 sys=0.01, real=0.02 secs]
[GC (Allocation Failure) [PSYoungGen: 65376K->4448K(72192K)] 124524K->67612K(144896K), 0.0167044 secs] [Times: user=0.07 sys=0.00, real=0.02 secs]
[GC (Allocation Failure) [PSYoungGen: 63328K->4992K(73216K)] 126492K->69764K(145920K), 0.0123454 secs] [Times: user=0.06 sys=0.00, real=0.01 secs]
[Full GC (Ergonomics) [PSYoungGen: 4992K->0K(73216K)] [ParOldGen: 64772K->59232K(98816K)] 69764K->59232K(172032K), [Metaspace: 42035K->42035K(1091584K)], 0.1052601 secs] [Times: user=0.57 sys=0.01, real=0.11 secs]
[GC (Allocation Failure) [PSYoungGen: 60416K->8064K(73216K)] 119648K->67296K(172032K), 0.0128622 secs] [Times: user=0.06 sys=0.00, real=0.01 secs]
[GC (Allocation Failure) [PSYoungGen: 68480K->7424K(73216K)] 127712K->72208K(172032K), 0.0145041 secs] [Times: user=0.08 sys=0.00, real=0.01 secs]
[GC (Allocation Failure) [PSYoungGen: 68864K->8096K(73728K)] 133648K->77720K(172544K), 0.0133379 secs] [Times: user=0.07 sys=0.00, real=0.01 secs]
[GC (Allocation Failure) [PSYoungGen: 69536K->8064K(74752K)] 139160K->83208K(173568K), 0.0136470 secs] [Times: user=0.07 sys=0.01, real=0.02 secs]
[GC (Allocation Failure) [PSYoungGen: 70528K->7840K(70656K)] 145672K->88504K(169472K), 0.0144605 secs] [Times: user=0.08 sys=0.00, real=0.02 secs]
[GC (Allocation Failure) [PSYoungGen: 70304K->10112K(73216K)] 150968K->95896K(172032K), 0.0139785 secs] [Times: user=0.07 sys=0.00, real=0.01 secs]
[GC (Allocation Failure) [PSYoungGen: 71552K->6848K(74240K)] 157336K->102304K(173056K), 0.0164320 secs] [Times: user=0.07 sys=0.01, real=0.02 secs]
[Full GC (Ergonomics) [PSYoungGen: 6848K->0K(74240K)] [ParOldGen: 95456K->93526K(141312K)] 102304K->93526K(215552K), [Metaspace: 42035K->42035K(1091584K)], 0.1556105 secs] [Times: user=0.93 sys=0.00, real=0.15 secs]
[GC (Allocation Failure) [PSYoungGen: 61440K->4608K(73728K)] 154966K->98134K(215040K), 0.0130463 secs] [Times: user=0.07 sys=0.00, real=0.02 secs]
[GC (Allocation Failure) [PSYoungGen: 66560K->5344K(74240K)] 160086K->100558K(215552K), 0.0137743 secs] [Times: user=0.07 sys=0.00, real=0.01 secs]

[retronym]

$ qscala -Dscala.repl.maxprintstring=$(scala -e 'print(Int.MaxValue)')
Welcome to Scala 2.13.0-20181113-000227-a038a9a (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_172).
Type in expressions for evaluation. Or try :help.

scala> import scala.collection._; List(LazyList, Vector)
warning: -nc is deprecated: scripts use cold compilation by default; use -Yscriptrunner for custom behavior
import scala.collection._
res0: List[scala.collection.SeqFactory[[A]scala.collection.immutable.AbstractSeq[A]{def updated[B >: A](index: Int, elem: B): scala.collection.immutable.AbstractSeq[B]; def patch[B >: A](from: Int, other: scala.collection.IterableOnce[B], replaced: Int): scala.collection.immutable.AbstractSeq[B]; def padTo[B >: A](len: Int, elem: B): scala.collection.immutable.AbstractSeq[B]; def reverse: scala.collection.immutable.AbstractSeq[A]; def appendedAll[B >: A](suffix: scala.collection.IterableOnce[B]): scala.collection.immutable.AbstractSeq[B]; def prependedAll[B >: A](prefix: scala.collection.IterableOnce[B]): scala.collection.immutable.AbstractSeq[B]; def appended[B >: A](value: B): scala.collection.immutable.AbstractSeq[B]; def prepended[B >: A](value: B): scala.collection.immutable.AbstractSeq[B]; def zipWithIndex: scala.collection.immutable.AbstractSeq[(A, Int)]; def zip[B](that: scala.collection.IterableOnce[B]): scala.collection.immutable.AbstractSeq[(A, B)]; def slice(from: Int, until: Int): scala.collection.immutable.AbstractSeq[A]; def tail: scala.collection.immutable.AbstractSeq[A]; def dropRight(n: Int): scala.collection.immutable.AbstractSeq[A]; def drop(n: Int): scala.collection.immutable.AbstractSeq[A]; def takeRight(n: Int): scala.collection.immutable.AbstractSeq[A]; def take(n: Int): scala.collection.immutable.AbstractSeq[A]}]] = List(scala.collection.immutable.LazyList$@2a16d4dc, scala.collection.immutable.Vector$@75805562)

Substitute that type constructor into:

  def fill[A](n1: Int, n2: Int, n3: Int, n4: Int, n5: Int)(elem: => A): CC[CC[CC[CC[CC[A]]]] @uncheckedVariance] =
    fill(n1)(fill(n2, n3, n4, n5)(elem))

And BOOM!

[retronym]

$ ./build/quick/bin/scala -Dscala.repl.maxprintstring=$(scala -e 'print(Int.MaxValue)')
Welcome to Scala 2.13.0-20181113-000227-a038a9a (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_172).
Type in expressions for evaluation. Or try :help.

scala> import language.higherKinds
import language.higherKinds

scala> trait C[CC[_]] { def fill:                      CC[Any]          }; (c: (C[({ type Apply[A] = {def foo[B <: A]: B; def bar[B <: A]: B; def baz[B <: A]: B}})#Apply]{})) => c.fill
defined trait C
res0: C[[A]Object{def foo[B <: A]: B; def bar[B <: A]: B; def baz[B <: A]: B}] => Object{def foo[B]: B; def bar[B]: B; def baz[B]: B} = $$Lambda$1983/1545308588@40a1b6d4

scala> trait C[CC[_]] { def fill:                   CC[CC[Any]]         }; (c: (C[({ type Apply[A] = {def foo[B <: A]: B; def bar[B <: A]: B; def baz[B <: A]: B}})#Apply]{})) => c.fill
defined trait C
res1: C[[A]Object{def foo[B <: A]: B; def bar[B <: A]: B; def baz[B <: A]: B}] => Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B} = $$Lambda$1990/1329589315@38dbeb39

scala> trait C[CC[_]] { def fill:                CC[CC[CC[Any]]]        }; (c: (C[({ type Apply[A] = {def foo[B <: A]: B; def bar[B <: A]: B; def baz[B <: A]: B}})#Apply]{})) => c.fill
defined trait C
res2: C[[A]Object{def foo[B <: A]: B; def bar[B <: A]: B; def baz[B <: A]: B}] => Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B} = $$Lambda$1991/106424296@1b4ade78

scala> trait C[CC[_]] { def fill:             CC[CC[CC[CC[Any]]]]       }; (c: (C[({ type Apply[A] = {def foo[B <: A]: B; def bar[B <: A]: B; def baz[B <: A]: B}})#Apply]{})) => c.fill
defined trait C
res3: C[[A]Object{def foo[B <: A]: B; def bar[B <: A]: B; def baz[B <: A]: B}] => Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B} = $$Lambda$1992/839005249@200d9bd

scala> trait C[CC[_]] { def fill:          CC[CC[CC[CC[CC[Any]]]]]      }; (c: (C[({ type Apply[A] = {def foo[B <: A]: B; def bar[B <: A]: B; def baz[B <: A]: B}})#Apply]{})) => c.fill
defined trait C
res4: C[[A]Object{def foo[B <: A]: B; def bar[B <: A]: B; def baz[B <: A]: B}] => Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B}]: B} = $$Lambda$1993/1435407193@4ba20610

scala> trait C[CC[_]] { def fill:       CC[CC[CC[CC[CC[CC[Any]]]]]]     }; (c: (C[({ type Apply[A] = {def foo[B <: A]: B; def bar[B <: A]: B; def baz[B <: A]: B}})#Apply]{})) => c.fill
defined trait C
res5: C[[A]Object{def foo[B <: A]: B; def bar[B <: A]: B; def baz[B <: A]: B}] => Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B}]: B}]: B} = $$Lambda$1994/241986286@4d35a622

scala> trait C[CC[_]] { def fill:    CC[CC[CC[CC[CC[CC[CC[Any]]]]]]]    }; (c: (C[({ type Apply[A] = {def foo[B <: A]: B; def bar[B <: A]: B; def baz[B <: A]: B}})#Apply]{})) => c.fill
defined trait C
res6: C[[A]Object{def foo[B <: A]: B; def bar[B <: A]: B; def baz[B <: A]: B}] => Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def bar[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B; def baz[B <: Object{def foo[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def bar[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B; def baz[B <: Object{def foo[B]: B; def bar[B]: B; def baz[B]: B}]: B}]: B}]: B}]: B}]: B}]: B} = $$Lambda$1995/1247746191@3393a764

scala> trait C[CC[_]] { def fill: CC[CC[CC[CC[CC[CC[CC[CC[Any]]]]]]]]   }; (c: (C[({ type Apply[A] = {def foo[B <: A]: B; def bar[B <: A]: B; def baz[B <: A]: B}})#Apply]{})) => c.fill
<GC STORM>

Having refinement types rather than nominal types mnight leads to a structure that runs into the problems identified (but not solved) in scala/scala#4828.

Even aside from the running time of the substitution, the resulting types are also super-linear. Plugging the char count of each line above into a curve fitter:

[ShaneDelmore]

I'm seeing similar behavior in Scala 2.12 (but don't have a public reproduction at this time). Will the cyclic error in Typer be backported to Scala 2.12 if it is found to exist there as well?

[SethTisue]

Will the cyclic error in Typer be backported to Scala 2.12 if it is found to exist there as well?

It's hard to say a priori. It might depend on the nature of the fix. It might also depend on whether a volunteer chooses to submit a backport.