Skip to content

Stackoverflow via applyDynamic #9295

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
sir-wabbit opened this issue Jul 6, 2020 · 0 comments · Fixed by #9300
Closed

Stackoverflow via applyDynamic #9295

sir-wabbit opened this issue Jul 6, 2020 · 0 comments · Fixed by #9300
Assignees
@nicolasstucki
Labels
fuzzball itype:bug itype:crash

Comments

@sir-wabbit
Copy link

Minimized code

// SOE-b6d7587f11f4e553d9998abb2b52d57285be4f28
import scala.language.dynamics

class Foo extends Dynamic {
  def applyDynamic(arg: Any): Foo = ???
}
val foo = new Foo
def baz = foo.blah(42)

Output (click arrow to expand)

java.lang.StackOverflowError while compiling test.scala
Exception in thread "main" java.lang.StackOverflowError
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.core.TyperState.isGlobalCommittable(TyperState.scala:63)
	at dotty.tools.dotc.typer.Typer$.assertPositioned(Typer.scala:60)
	at dotty.tools.dotc.typer.Typer.op$1(Typer.scala:2496)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2511)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2514)
	at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:2625)
	at dotty.tools.dotc.typer.Applications.typedFunPart$$anonfun$1(Applications.scala:842)
	at dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:2633)
	at dotty.tools.dotc.typer.Applications.typedFunPart(Applications.scala:851)
	at dotty.tools.dotc.typer.Typer.typedFunPart(Typer.scala:89)
	at dotty.tools.dotc.typer.Applications.realApply$1(Applications.scala:863)
	at dotty.tools.dotc.typer.Applications.typedApply(Applications.scala:998)
	at dotty.tools.dotc.typer.Typer.typedApply(Typer.scala:89)
	at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2376)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2436)
	at dotty.tools.dotc.typer.Typer.op$1(Typer.scala:2502)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2511)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2514)
	at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:2625)
	at dotty.tools.dotc.typer.Typer.typeSelectOnTerm$1(Typer.scala:545)
	at dotty.tools.dotc.typer.Typer.typedSelect(Typer.scala:569)
	at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:2346)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2435)
	at dotty.tools.dotc.typer.Typer.op$1(Typer.scala:2502)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2511)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2514)
	at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:2625)
	at dotty.tools.dotc.typer.Applications.typedFunPart$$anonfun$1(Applications.scala:842)
	at dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:2633)
	at dotty.tools.dotc.typer.Applications.typedFunPart(Applications.scala:851)
	at dotty.tools.dotc.typer.Typer.typedFunPart(Typer.scala:89)
	at dotty.tools.dotc.typer.Applications.realApply$1(Applications.scala:863)
	at dotty.tools.dotc.typer.Applications.typedApply(Applications.scala:998)
	at dotty.tools.dotc.typer.Typer.typedApply(Typer.scala:89)
	at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2376)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2436)
	at dotty.tools.dotc.typer.Typer.op$1(Typer.scala:2502)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2511)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2514)
	at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:2625)
	at dotty.tools.dotc.typer.Typer.typeSelectOnTerm$1(Typer.scala:545)
	at dotty.tools.dotc.typer.Typer.typedSelect(Typer.scala:569)
	at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:2346)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2435)
	at dotty.tools.dotc.typer.Typer.op$1(Typer.scala:2502)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2511)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2514)
	at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:2625)
	at dotty.tools.dotc.typer.Applications.typedFunPart$$anonfun$1(Applications.scala:842)
	at dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:2633)
@nicolasstucki nicolasstucki self-assigned this Jul 6, 2020
nicolasstucki added a commit to dotty-staging/dotty that referenced this issue Jul 6, 2020
@nicolasstucki
Fix scala#9295: Avoid recursive Dynamics conversion
fd76b63 
Avoid trying to apply `Dynamic` transformation on `apply` with a qualifier that already has
a been handled by the `Dynamic` transformation.
@nicolasstucki nicolasstucki linked a pull request Jul 6, 2020 that will close this issue
Fix #9295: Avoid recursive Dynamics conversion #9300
Merged
nicolasstucki added a commit to dotty-staging/dotty that referenced this issue Jul 7, 2020
@nicolasstucki
Fix scala#9295: Avoid recursive Dynamics conversion
0383b06 
Avoid trying to apply `Dynamic` transformation on `apply` with a qualifier that already has
a been handled by the `Dynamic` transformation.
nicolasstucki added a commit to dotty-staging/dotty that referenced this issue Jul 8, 2020
@nicolasstucki
Fix scala#9295: Avoid recursive Dynamics conversion
a00788d 
Avoid trying to apply `Dynamic` transformation on `apply` with a qualifier that already has
a been handled by the `Dynamic` transformation.
nicolasstucki added a commit that referenced this issue Jul 10, 2020
@nicolasstucki
Merge pull request #9300 from dotty-staging/fix-#9295
e6bb414 
Fix #9295: Avoid recursive Dynamics conversion
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@nicolasstucki nicolasstucki

Labels
fuzzball itype:bug itype:crash
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Fix #9295: Avoid recursive Dynamics conversion dotty-staging/dotty
2 participants
@sir-wabbit @nicolasstucki