StackOverflow in VarianceChecker #4370

sir-wabbit · 2018-04-25T07:20:15Z

object App {
  class Foo { type R = A }
  type A = List[Foo#R]
}

Exception in thread "main" java.lang.StackOverflowError
	at dotty.tools.dotc.typer.VarianceChecker$Validator$.$anonfun$apply$2(VarianceChecker.scala:85)
	at dotty.tools.dotc.reporting.trace$.op1$3(trace.scala:32)
	at dotty.tools.dotc.reporting.trace$.apply(trace.scala:33)
	at dotty.tools.dotc.reporting.trace$.apply(trace.scala:39)
	at dotty.tools.dotc.typer.VarianceChecker$Validator$.apply(VarianceChecker.scala:84)
	at dotty.tools.dotc.typer.VarianceChecker$Validator$.apply(VarianceChecker.scala:28)
	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:4378)
	at dotty.tools.dotc.typer.VarianceChecker$Validator$.$anonfun$apply$2(VarianceChecker.scala:99)
	at dotty.tools.dotc.reporting.trace$.op1$3(trace.scala:32)
	at dotty.tools.dotc.reporting.trace$.apply(trace.scala:33)
	at dotty.tools.dotc.reporting.trace$.apply(trace.scala:39)
	at dotty.tools.dotc.typer.VarianceChecker$Validator$.apply(VarianceChecker.scala:84)
	at dotty.tools.dotc.typer.VarianceChecker$Validator$.apply(VarianceChecker.scala:28)
	at dotty.tools.dotc.core.Types$TypeAccumulator.foldArgs$1(Types.scala:4349)
	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:4354)
	at dotty.tools.dotc.typer.VarianceChecker$Validator$.$anonfun$apply$2(VarianceChecker.scala:99)
	at dotty.tools.dotc.reporting.trace$.op1$3(trace.scala:32)
	at dotty.tools.dotc.reporting.trace$.apply(trace.scala:33)
	at dotty.tools.dotc.reporting.trace$.apply(trace.scala:39)
	at dotty.tools.dotc.typer.VarianceChecker$Validator$.apply(VarianceChecker.scala:84)
	at dotty.tools.dotc.typer.VarianceChecker$Validator$.$anonfun$apply$2(VarianceChecker.scala:90)
	at dotty.tools.dotc.reporting.trace$.op1$3(trace.scala:32)
	at dotty.tools.dotc.reporting.trace$.apply(trace.scala:33)
	at dotty.tools.dotc.reporting.trace$.apply(trace.scala:39)
	at dotty.tools.dotc.typer.VarianceChecker$Validator$.apply(VarianceChecker.scala:84)
	at dotty.tools.dotc.typer.VarianceChecker$Validator$.$anonfun$apply$2(VarianceChecker.scala:90)
	at dotty.tools.dotc.reporting.trace$.op1$3(trace.scala:32)

Fix #4370: Add regression test

Blaisorblade added the area:typer label Apr 25, 2018

smarter added the itype:bug label Apr 26, 2018

sir-wabbit mentioned this issue Apr 26, 2018

A variety of bugs (42 or so). #4389

Closed

odersky mentioned this issue Apr 27, 2018

Fix #4368: Avoid stackoverflows for some cyclic definitions #4385

Merged

nicolasstucki added a commit to dotty-staging/dotty that referenced this issue Jan 18, 2019

Fix scala#4370: Add regression test

2b796c6

odersky closed this as completed in b309c38 Jan 19, 2019

odersky added a commit that referenced this issue Jan 19, 2019

Merge pull request #5740 from dotty-staging/fix-#4370

ee9960f

Fix #4370: Add regression test

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

StackOverflow in VarianceChecker #4370

StackOverflow in VarianceChecker #4370

sir-wabbit commented Apr 25, 2018 •

edited

Loading

StackOverflow in VarianceChecker #4370

StackOverflow in VarianceChecker #4370

Comments

sir-wabbit commented Apr 25, 2018 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

sir-wabbit commented Apr 25, 2018 •

edited

Loading