Skip to content

ArrayBuilder: internal error: type of pattern variable ? is not fully defined #947

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
DarkDimius opened this issue Nov 10, 2015 · 0 comments
Closed

ArrayBuilder: internal error: type of pattern variable ? is not fully defined #947

DarkDimius opened this issue Nov 10, 2015 · 0 comments
Labels
stat:fix available

Comments

@DarkDimius
Copy link
Contributor 

dotc ./scala-scala/src/library/scala/collection/mutable/ArrayBuilder.scala

exception occurred while typechecking ./scala-scala/src/library/scala/collection/mutable/ArrayBuilder.scala
exception occurred while compiling ./scala-scala/src/library/scala/collection/mutable/ArrayBuilder.scala
Exception in thread "main" java.lang.Error: internal error: type of pattern variable ? is not fully defined, pos = [5681..5687]
    at dotty.tools.dotc.typer.Inferencing$.fullyDefinedType(Inferencing.scala:45)
    at dotty.tools.dotc.typer.Typer$$anonfun$typedBind$1.apply(Typer.scala:873)
    at dotty.tools.dotc.typer.Typer$$anonfun$typedBind$1.apply(Typer.scala:872)
    at dotty.tools.dotc.util.Stats$.track(Stats.scala:36)
    at dotty.tools.dotc.typer.Typer.typedBind(Typer.scala:872)
    at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:1083)
    at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1139)
    at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1151)
    at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1149)
    at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:154)
    at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:53)
    at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1149)
    at dotty.tools.dotc.typer.Typer$$anonfun$typedIdent$1.apply(Typer.scala:257)
    at dotty.tools.dotc.typer.Typer$$anonfun$typedIdent$1.apply(Typer.scala:78)
    at dotty.tools.dotc.util.Stats$.track(Stats.scala:36)
    at dotty.tools.dotc.typer.Typer.typedIdent(Typer.scala:78)
    at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:1080)
    at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1139)
    at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1151)
    at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1149)
    at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:154)
    at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:53)
    at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1149)
    at dotty.tools.dotc.typer.Typer.typedType(Typer.scala:1190)
    at dotty.tools.dotc.typer.Typer$$anonfun$typedTyped$1.regularTyped$1(Typer.scala:378)
    at dotty.tools.dotc.typer.Typer$$anonfun$typedTyped$1.apply(Typer.scala:386)
    at dotty.tools.dotc.typer.Typer$$anonfun$typedTyped$1.apply(Typer.scala:372)
    at dotty.tools.dotc.util.Stats$.track(Stats.scala:36)
    at dotty.tools.dotc.typer.Typer.typedTyped(Typer.scala:372)
    at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:1106)
    at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1141)
    at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1151)
    at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1149)
    at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:154)
    at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:53)
    at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1149)
    at dotty.tools.dotc.typer.Typer$$anonfun$typedBind$1.apply(Typer.scala:874)
    at dotty.tools.dotc.typer.Typer$$anonfun$typedBind$1.apply(Typer.scala:872)
    at dotty.tools.dotc.util.Stats$.track(Stats.scala:36)
    at dotty.tools.dotc.typer.Typer.typedBind(Typer.scala:872)
    at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:1083)
    at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1139)
    at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1151)
    at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1149)
    at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:154)
    at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:53)
    at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1149)
    at dotty.tools.dotc.typer.Typer$$anonfun$typedTyped$1.apply(Typer.scala:390)
    at dotty.tools.dotc.typer.Typer$$anonfun$typedTyped$1.apply(Typer.scala:372)
    at dotty.tools.dotc.util.Stats$.track(Stats.scala:36)
    at dotty.tools.dotc.typer.Typer.typedTyped(Typer.scala:372)
    at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:1106)
    at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1141)
    at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1151)
    at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1149)
    at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:154)
    at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:53)
    at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1149)
    at dotty.tools.dotc.typer.Typer.typedPattern(Typer.scala:1192)
    at dotty.tools.dotc.typer.Typer$$anonfun$typedCase$1.apply(Typer.scala:702)
    at dotty.tools.dotc.typer.Typer$$anonfun$typedCase$1.apply(Typer.scala:677)
    at dotty.tools.dotc.util.Stats$.track(Stats.scala:36)
    at dotty.tools.dotc.typer.Typer.typedCase(Typer.scala:677)
    at dotty.tools.dotc.typer.Typer$$anonfun$typedCases$1.apply(Typer.scala:671)
    at dotty.tools.dotc.typer.Typer$$anonfun$typedCases$1.apply(Typer.scala:671)
    at dotty.tools.dotc.core.Decorators$ListDecorator$.loop$1(Decorators.scala:51)
    at dotty.tools.dotc.core.Decorators$ListDecorator$.mapconserve$extension(Decorators.scala:67)
    at dotty.tools.dotc.typer.Typer.typedCases(Typer.scala:671)
    at dotty.tools.dotc.typer.Typer$$anonfun$typedMatch$1.apply(Typer.scala:643)
    at dotty.tools.dotc.typer.Typer$$anonfun$typedMatch$1.apply(Typer.scala:634)
    at dotty.tools.dotc.util.Stats$.track(Stats.scala:36)
    at dotty.tools.dotc.typer.Typer.typedMatch(Typer.scala:633)
    at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:1113)
    at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1141)
    at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1151)
    at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1149)
    at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:154)
    at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:53)
    at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1149)
    at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:1188)
    at dotty.tools.dotc.typer.Typer$$anonfun$typedDefDef$1.apply(Typer.scala:915)
    at dotty.tools.dotc.typer.Typer$$anonfun$typedDefDef$1.apply(Typer.scala:908)
    at dotty.tools.dotc.util.Stats$.track(Stats.scala:36)
    at dotty.tools.dotc.typer.Typer.typedDefDef(Typer.scala:908)
    at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:1089)
    at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1139)
    at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1151)
    at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1149)
    at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:154)
    at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:53)
    at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1149)
    at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:1173)
    at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:1184)
    at dotty.tools.dotc.typer.Typer$$anonfun$typedClassDef$1.apply(Typer.scala:944)
    at dotty.tools.dotc.typer.Typer$$anonfun$typedClassDef$1.apply(Typer.scala:927)
    at dotty.tools.dotc.util.Stats$.track(Stats.scala:36)
    at dotty.tools.dotc.typer.Typer.typedClassDef(Typer.scala:927)
    at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:1092)
    at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1139)
    at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1151)
    at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1149)
    at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:154)
    at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:53)
    at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1149)
    at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:1173)
    at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:1184)
    at dotty.tools.dotc.typer.Typer$$anonfun$typedClassDef$1.apply(Typer.scala:944)
    at dotty.tools.dotc.typer.Typer$$anonfun$typedClassDef$1.apply(Typer.scala:927)
    at dotty.tools.dotc.util.Stats$.track(Stats.scala:36)
    at dotty.tools.dotc.typer.Typer.typedClassDef(Typer.scala:927)
    at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:1092)
    at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1139)
    at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1151)
    at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1149)
    at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:154)
    at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:53)
    at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1149)
    at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:1173)
    at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:1184)
    at dotty.tools.dotc.typer.Typer$$anonfun$typedPackageDef$1.apply(Typer.scala:1032)
    at dotty.tools.dotc.typer.Typer$$anonfun$typedPackageDef$1.apply(Typer.scala:1023)
    at dotty.tools.dotc.util.Stats$.track(Stats.scala:36)
    at dotty.tools.dotc.typer.Typer.typedPackageDef(Typer.scala:1023)
    at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:1129)
    at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1141)
    at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1151)
    at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1149)
    at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:154)
    at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:53)
    at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1149)
    at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:1179)
    at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:1184)
    at dotty.tools.dotc.typer.Typer$$anonfun$typedPackageDef$1.apply(Typer.scala:1032)
    at dotty.tools.dotc.typer.Typer$$anonfun$typedPackageDef$1.apply(Typer.scala:1023)
    at dotty.tools.dotc.util.Stats$.track(Stats.scala:36)
    at dotty.tools.dotc.typer.Typer.typedPackageDef(Typer.scala:1023)
    at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:1129)
    at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1141)
    at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1151)
    at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1149)
    at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:154)
    at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:53)
    at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1149)
    at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:1179)
    at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:1184)
    at dotty.tools.dotc.typer.Typer$$anonfun$typedPackageDef$1.apply(Typer.scala:1032)
    at dotty.tools.dotc.typer.Typer$$anonfun$typedPackageDef$1.apply(Typer.scala:1023)
    at dotty.tools.dotc.util.Stats$.track(Stats.scala:36)
    at dotty.tools.dotc.typer.Typer.typedPackageDef(Typer.scala:1023)
    at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:1129)
    at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1141)
    at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1151)
    at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1149)
    at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:154)
    at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:53)
    at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1149)
    at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:1188)
    at dotty.tools.dotc.typer.FrontEnd$$anonfun$typeCheck$1.apply$mcV$sp(FrontEnd.scala:47)
    at dotty.tools.dotc.typer.FrontEnd.monitor(FrontEnd.scala:23)
    at dotty.tools.dotc.typer.FrontEnd.typeCheck(FrontEnd.scala:45)
    at dotty.tools.dotc.typer.FrontEnd$$anonfun$runOn$3.apply(FrontEnd.scala:69)
    at dotty.tools.dotc.typer.FrontEnd$$anonfun$runOn$3.apply(FrontEnd.scala:69)
    at scala.collection.immutable.List.foreach(List.scala:381)
    at dotty.tools.dotc.typer.FrontEnd.runOn(FrontEnd.scala:69)
    at dotty.tools.dotc.Run$$anonfun$compileUnits$1$$anonfun$apply$mcV$sp$1.apply(Run.scala:60)
    at dotty.tools.dotc.Run$$anonfun$compileUnits$1$$anonfun$apply$mcV$sp$1.apply(Run.scala:57)
    at scala.collection.IndexedSeqOptimized$class.foreach(IndexedSeqOptimized.scala:33)
    at scala.collection.mutable.ArrayOps$ofRef.foreach(ArrayOps.scala:186)
    at dotty.tools.dotc.Run$$anonfun$compileUnits$1.apply$mcV$sp(Run.scala:57)
    at dotty.tools.dotc.Run$$anonfun$compileUnits$1.apply(Run.scala:52)
    at dotty.tools.dotc.Run$$anonfun$compileUnits$1.apply(Run.scala:52)
    at dotty.tools.dotc.util.Stats$.monitorHeartBeat(Stats.scala:69)
    at dotty.tools.dotc.Run.compileUnits(Run.scala:52)
    at dotty.tools.dotc.Run.compileSources(Run.scala:49)
    at dotty.tools.dotc.Run.compile(Run.scala:33)
    at dotty.tools.dotc.Driver.doCompile(Driver.scala:21)
    at dotty.tools.dotc.Driver.process(Driver.scala:44)
    at dotty.tools.dotc.Driver.process(Driver.scala:50)
    at dotty.tools.dotc.Driver.main(Driver.scala:54)
    at dotty.tools.dotc.Main.main(Main.scala)
odersky added a commit to dotty-staging/dotty that referenced this issue Nov 17, 2015
@odersky
Test case for scala#947
e1bbb34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
stat:fix available
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@odersky @DarkDimius