Skip to content

Crash: TyperState attempted to take ownership of Any which is already owned by committable TyperState #13340

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
scf37 opened this issue Aug 19, 2021 · 0 comments · Fixed by #13361
Closed

Crash: TyperState attempted to take ownership of Any which is already owned by committable TyperState #13340

scf37 opened this issue Aug 19, 2021 · 0 comments · Fixed by #13361
Assignees
@smarter
Labels
area:typer itype:crash
Milestone
3.1.0

Comments

@scf37
Copy link

scf37 commented Aug 19, 2021

Compiler version

3.0.1

Minimized code

case class Field(name: String, subQuery: Option[Query] = None)
case class Query(fields: Seq[Field])
Query(Seq(Field("a", subQuery=Some(Query(Seq(Field("b")), Nil)))), Nil) // last ", Nil" is syntactically incorrect

https://scastie.scala-lang.org/Wsx0Dhl2QnajBSrTBq0PLQ

Output (click arrow to expand)

java.lang.AssertionError: assertion failed: TS[797459, 797458, 797457] attempted to take ownership of Any which is already owned by committable TS[797659, 797526, 797523, 797521, 797459, 797458, 797457]
	at scala.runtime.Scala3RunTime$.assertFailed(Scala3RunTime.scala:8)
	at dotty.tools.dotc.core.TyperState.includeVar(TyperState.scala:196)
	at dotty.tools.dotc.core.TyperState.mergeConstraintWith$$anonfun$1(TyperState.scala:184)
	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
	at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:563)
	at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:561)
	at scala.collection.AbstractIterable.foreach(Iterable.scala:919)
	at dotty.tools.dotc.core.TyperState.mergeConstraintWith(TyperState.scala:184)
	at dotty.tools.dotc.typer.ProtoTypes$FunProto.typedArgs(ProtoTypes.scala:424)
	at dotty.tools.dotc.typer.ProtoTypes$FunProto.fold(ProtoTypes.scala:496)
	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5757)
	at dotty.tools.dotc.core.Types$TypeTraverser.traverseChildren(Types.scala:5795)
	at dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$1$.traverse(Implicits.scala:590)
	at dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:5794)
	at dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:5794)
	at dotty.tools.dotc.typer.ProtoTypes$SelectionProto.fold(ProtoTypes.scala:225)
	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5757)
	at dotty.tools.dotc.core.Types$TypeTraverser.traverseChildren(Types.scala:5795)
	at dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$1$.traverse(Implicits.scala:590)
	at dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:5794)
	at dotty.tools.dotc.core.Types$TypeTraverser.apply(Types.scala:5794)
	at dotty.tools.dotc.typer.ProtoTypes$ViewProto.fold(ProtoTypes.scala:553)
	at dotty.tools.dotc.core.Types$TypeAccumulator.foldOver(Types.scala:5757)
	at dotty.tools.dotc.core.Types$TypeTraverser.traverseChildren(Types.scala:5795)
	at dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$1$.traverse(Implicits.scala:590)
	at dotty.tools.dotc.typer.ImplicitRunInfo$collectParts$1$.apply(Implicits.scala:596)
	at dotty.tools.dotc.typer.ImplicitRunInfo.recur$1(Implicits.scala:672)
	at dotty.tools.dotc.typer.ImplicitRunInfo.computeIScope(Implicits.scala:684)
	at dotty.tools.dotc.typer.ImplicitRunInfo.implicitScope(Implicits.scala:755)
	at dotty.tools.dotc.typer.ImplicitRunInfo.implicitScope$(Implicits.scala:538)
	at dotty.tools.dotc.Run.implicitScope(Run.scala:38)
	at dotty.tools.dotc.typer.Implicits$ImplicitSearch.implicitScope(Implicits.scala:1402)
	at dotty.tools.dotc.typer.Implicits$ImplicitSearch.searchImplicit(Implicits.scala:1365)
	at dotty.tools.dotc.typer.Implicits$ImplicitSearch.searchImplicit(Implicits.scala:1374)
	at dotty.tools.dotc.typer.Implicits$ImplicitSearch.bestImplicit(Implicits.scala:1399)
	at dotty.tools.dotc.typer.Implicits.inferImplicit(Implicits.scala:974)
	at dotty.tools.dotc.typer.Implicits.inferImplicit$(Implicits.scala:769)
	at dotty.tools.dotc.typer.Typer.inferImplicit(Typer.scala:106)
	at dotty.tools.dotc.typer.Implicits.inferView(Implicits.scala:815)
	at dotty.tools.dotc.typer.Implicits.inferView$(Implicits.scala:769)
	at dotty.tools.dotc.typer.Typer.inferView(Typer.scala:106)
	at dotty.tools.dotc.typer.Typer.tryExtensionOrConversion(Typer.scala:3102)
	at dotty.tools.dotc.typer.Typer.tryInsertImplicitOnQualifier$$anonfun$1(Typer.scala:3055)
	at dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:2951)
	at dotty.tools.dotc.typer.Typer.tryInsertImplicitOnQualifier(Typer.scala:3059)
	at dotty.tools.dotc.typer.Applications.tryWithImplicitOnQualifier$4(Applications.scala:920)
	at dotty.tools.dotc.typer.Applications.realApply$7$$anonfun$6$$anonfun$2(Applications.scala:992)
	at scala.Option.getOrElse(Option.scala:201)
	at dotty.tools.dotc.typer.Applications.realApply$8$$anonfun$7(Applications.scala:992)
	at dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:2954)
	at dotty.tools.dotc.typer.Applications.realApply$1(Applications.scala:993)
	at dotty.tools.dotc.typer.Applications.typedApply(Applications.scala:1031)
	at dotty.tools.dotc.typer.Applications.typedApply$(Applications.scala:316)
	at dotty.tools.dotc.typer.Typer.typedApply(Typer.scala:106)
	at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2695)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2758)
	at dotty.tools.dotc.typer.ProtoTypes$FunProto.$anonfun$5(ProtoTypes.scala:439)
	at dotty.tools.dotc.typer.ProtoTypes$FunProto.cacheTypedArg(ProtoTypes.scala:370)
	at dotty.tools.dotc.typer.ProtoTypes$FunProto.typedArg(ProtoTypes.scala:440)
	at dotty.tools.dotc.typer.Applications$ApplyToUntyped.typedArg(Applications.scala:849)
	at dotty.tools.dotc.typer.Applications$ApplyToUntyped.typedArg(Applications.scala:849)
	at dotty.tools.dotc.typer.Applications$Application.addTyped$1(Applications.scala:543)
	at dotty.tools.dotc.typer.Applications$Application.matchArgs(Applications.scala:608)
	at dotty.tools.dotc.typer.Applications$Application.init(Applications.scala:446)
	at dotty.tools.dotc.typer.Applications$TypedApply.<init>(Applications.scala:734)
	at dotty.tools.dotc.typer.Applications$ApplyToUntyped.<init>(Applications.scala:848)
	at dotty.tools.dotc.typer.Applications.ApplyTo(Applications.scala:1056)
	at dotty.tools.dotc.typer.Applications.ApplyTo$(Applications.scala:316)
	at dotty.tools.dotc.typer.Typer.ApplyTo(Typer.scala:106)
	at dotty.tools.dotc.typer.Applications.simpleApply$1(Applications.scala:903)
	at dotty.tools.dotc.typer.Applications.realApply$5$$anonfun$4(Applications.scala:982)
	at dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:2951)
	at dotty.tools.dotc.typer.Applications.realApply$1(Applications.scala:993)
	at dotty.tools.dotc.typer.Applications.typedApply(Applications.scala:1031)
	at dotty.tools.dotc.typer.Applications.typedApply$(Applications.scala:316)
	at dotty.tools.dotc.typer.Typer.typedApply(Typer.scala:106)
	at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2695)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2758)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2823)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2827)
	at dotty.tools.dotc.typer.Typer.typedNamedArg(Typer.scala:926)
	at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2701)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2758)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2823)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2827)
	at dotty.tools.dotc.typer.ProtoTypes$FunProto.$anonfun$6$$anonfun$1(ProtoTypes.scala:395)
	at dotty.tools.dotc.typer.ProtoTypes$FunProto.cacheTypedArg(ProtoTypes.scala:370)
	at dotty.tools.dotc.typer.ProtoTypes$FunProto.$anonfun$7(ProtoTypes.scala:395)
	at dotty.tools.dotc.typer.ProtoTypes$FunProto.$anonfun$adapted$1(ProtoTypes.scala:395)
	at dotty.tools.dotc.core.Decorators$ListDecorator$.recur$1(Decorators.scala:168)
	at dotty.tools.dotc.core.Decorators$ListDecorator$.recur$1(Decorators.scala:169)
	at dotty.tools.dotc.core.Decorators$ListDecorator$.mapWithIndexConserve$extension(Decorators.scala:174)
	at dotty.tools.dotc.typer.ProtoTypes$FunProto.typedArgs(ProtoTypes.scala:395)
	at dotty.tools.dotc.typer.ProtoTypes$FunProto.isMatchedBy(ProtoTypes.scala:325)
	at dotty.tools.dotc.core.TypeComparer.isMatchedByProto(TypeComparer.scala:1856)
	at dotty.tools.dotc.core.TypeComparer.firstTry$1(TypeComparer.scala:305)
	at dotty.tools.dotc.core.TypeComparer.recur(TypeComparer.scala:1282)
	at dotty.tools.dotc.core.TypeComparer.isSubType(TypeComparer.scala:185)
	at dotty.tools.dotc.core.TypeComparer.isSubType(TypeComparer.scala:195)
	at dotty.tools.dotc.core.TypeComparer.topLevelSubType(TypeComparer.scala:128)
	at dotty.tools.dotc.core.TypeComparer$.topLevelSubType(TypeComparer.scala:2673)
	at dotty.tools.dotc.core.Types$Type.$less$colon$less(Types.scala:1032)
	at dotty.tools.dotc.core.Types$Type.relaxed_$less$colon$less(Types.scala:1064)
	at dotty.tools.dotc.typer.ProtoTypes$Compatibility.isCompatible(ProtoTypes.scala:39)
	at dotty.tools.dotc.typer.ProtoTypes$Compatibility.isCompatible$(ProtoTypes.scala:26)
	at dotty.tools.dotc.typer.ProtoTypes$NoViewsAllowed$.isCompatible(ProtoTypes.scala:131)
	at dotty.tools.dotc.typer.ProtoTypes$Compatibility.testCompat$1(ProtoTypes.scala:56)
	at dotty.tools.dotc.typer.ProtoTypes$Compatibility.normalizedCompatible(ProtoTypes.scala:82)
	at dotty.tools.dotc.typer.ProtoTypes$Compatibility.normalizedCompatible$(ProtoTypes.scala:26)
	at dotty.tools.dotc.typer.ProtoTypes$NoViewsAllowed$.normalizedCompatible(ProtoTypes.scala:131)
	at dotty.tools.dotc.typer.ProtoTypes$SelectionProto.qualifies$1(ProtoTypes.scala:203)
	at dotty.tools.dotc.typer.ProtoTypes$SelectionProto.isMatchedBy(ProtoTypes.scala:207)
	at dotty.tools.dotc.typer.Typer.tryInsertImplicitOnQualifier(Typer.scala:3052)
	at dotty.tools.dotc.typer.Applications.tryWithImplicitOnQualifier$4(Applications.scala:920)
	at dotty.tools.dotc.typer.Applications.realApply$8$$anonfun$7(Applications.scala:990)
	at dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:2954)
	at dotty.tools.dotc.typer.Applications.realApply$1(Applications.scala:993)
	at dotty.tools.dotc.typer.Applications.typedApply(Applications.scala:1031)
	at dotty.tools.dotc.typer.Applications.typedApply$(Applications.scala:316)
	at dotty.tools.dotc.typer.Typer.typedApply(Typer.scala:106)
	at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2695)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2758)
	at dotty.tools.dotc.typer.ProtoTypes$FunProto.$anonfun$5(ProtoTypes.scala:439)
	at dotty.tools.dotc.typer.ProtoTypes$FunProto.cacheTypedArg(ProtoTypes.scala:370)
	at dotty.tools.dotc.typer.ProtoTypes$FunProto.typedArg(ProtoTypes.scala:440)
	at dotty.tools.dotc.typer.Applications$ApplyToUntyped.typedArg(Applications.scala:849)
	at dotty.tools.dotc.typer.Applications$ApplyToUntyped.typedArg(Applications.scala:849)
	at dotty.tools.dotc.typer.Applications$Application.$anonfun$4$$anonfun$1(Applications.scala:598)
	at scala.collection.immutable.List.map(List.scala:246)
	at dotty.tools.dotc.typer.Applications$Application.$anonfun$2(Applications.scala:598)
	at dotty.tools.dotc.typer.Applications.harmonic(Applications.scala:2186)
	at dotty.tools.dotc.typer.Applications.harmonic$(Applications.scala:316)
	at dotty.tools.dotc.typer.Typer.harmonic(Typer.scala:106)
	at dotty.tools.dotc.typer.Applications$Application.matchArgs(Applications.scala:600)
	at dotty.tools.dotc.typer.Applications$Application.init(Applications.scala:446)
	at dotty.tools.dotc.typer.Applications$TypedApply.<init>(Applications.scala:734)
	at dotty.tools.dotc.typer.Applications$ApplyToUntyped.<init>(Applications.scala:848)
	at dotty.tools.dotc.typer.Applications.ApplyTo(Applications.scala:1056)
	at dotty.tools.dotc.typer.Applications.ApplyTo$(Applications.scala:316)
	at dotty.tools.dotc.typer.Typer.ApplyTo(Typer.scala:106)
	at dotty.tools.dotc.typer.Applications.simpleApply$1(Applications.scala:903)
	at dotty.tools.dotc.typer.Applications.realApply$5$$anonfun$4(Applications.scala:982)
	at dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:2951)
	at dotty.tools.dotc.typer.Applications.realApply$1(Applications.scala:993)
	at dotty.tools.dotc.typer.Applications.typedApply(Applications.scala:1031)
	at dotty.tools.dotc.typer.Applications.typedApply$(Applications.scala:316)
	at dotty.tools.dotc.typer.Typer.typedApply(Typer.scala:106)
	at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2695)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2758)
	at dotty.tools.dotc.typer.ProtoTypes$FunProto.$anonfun$5(ProtoTypes.scala:439)
	at dotty.tools.dotc.typer.ProtoTypes$FunProto.cacheTypedArg(ProtoTypes.scala:370)
	at dotty.tools.dotc.typer.ProtoTypes$FunProto.typedArg(ProtoTypes.scala:440)
	at dotty.tools.dotc.typer.Applications$ApplyToUntyped.typedArg(Applications.scala:849)
	at dotty.tools.dotc.typer.Applications$ApplyToUntyped.typedArg(Applications.scala:849)
	at dotty.tools.dotc.typer.Applications$Application.addTyped$1(Applications.scala:543)
	at dotty.tools.dotc.typer.Applications$Application.matchArgs(Applications.scala:608)
	at dotty.tools.dotc.typer.Applications$Application.init(Applications.scala:446)
	at dotty.tools.dotc.typer.Applications$TypedApply.<init>(Applications.scala:734)
	at dotty.tools.dotc.typer.Applications$ApplyToUntyped.<init>(Applications.scala:848)
	at dotty.tools.dotc.typer.Applications.ApplyTo(Applications.scala:1056)
	at dotty.tools.dotc.typer.Applications.ApplyTo$(Applications.scala:316)
	at dotty.tools.dotc.typer.Typer.ApplyTo(Typer.scala:106)
	at dotty.tools.dotc.typer.Applications.simpleApply$1(Applications.scala:903)
	at dotty.tools.dotc.typer.Applications.realApply$5$$anonfun$4(Applications.scala:982)
	at dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:2951)
	at dotty.tools.dotc.typer.Applications.realApply$1(Applications.scala:993)
	at dotty.tools.dotc.typer.Applications.typedApply(Applications.scala:1031)
	at dotty.tools.dotc.typer.Applications.typedApply$(Applications.scala:316)
	at dotty.tools.dotc.typer.Typer.typedApply(Typer.scala:106)
	at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2695)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2758)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2823)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2827)
	at dotty.tools.dotc.typer.Typer.typedTuple(Typer.scala:2608)
	at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2732)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2758)
	at dotty.tools.dotc.typer.ProtoTypes$FunProto.$anonfun$5(ProtoTypes.scala:439)
	at dotty.tools.dotc.typer.ProtoTypes$FunProto.cacheTypedArg(ProtoTypes.scala:370)
	at dotty.tools.dotc.typer.ProtoTypes$FunProto.typedArg(ProtoTypes.scala:440)
	at dotty.tools.dotc.typer.Applications$ApplyToUntyped.typedArg(Applications.scala:849)
	at dotty.tools.dotc.typer.Applications$ApplyToUntyped.typedArg(Applications.scala:849)
	at dotty.tools.dotc.typer.Applications$Application.addTyped$1(Applications.scala:543)
	at dotty.tools.dotc.typer.Applications$Application.matchArgs(Applications.scala:608)
	at dotty.tools.dotc.typer.Applications$Application.init(Applications.scala:446)
	at dotty.tools.dotc.typer.Applications$TypedApply.<init>(Applications.scala:734)
	at dotty.tools.dotc.typer.Applications$ApplyToUntyped.<init>(Applications.scala:848)
	at dotty.tools.dotc.typer.Applications.ApplyTo(Applications.scala:1056)
	at dotty.tools.dotc.typer.Applications.ApplyTo$(Applications.scala:316)
	at dotty.tools.dotc.typer.Typer.ApplyTo(Typer.scala:106)
	at dotty.tools.dotc.typer.Applications.simpleApply$1(Applications.scala:903)
	at dotty.tools.dotc.typer.Applications.realApply$5$$anonfun$4(Applications.scala:982)
	at dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:2951)
	at dotty.tools.dotc.typer.Applications.realApply$1(Applications.scala:993)
	at dotty.tools.dotc.typer.Applications.typedApply(Applications.scala:1031)
	at dotty.tools.dotc.typer.Applications.typedApply$(Applications.scala:316)
	at dotty.tools.dotc.typer.Typer.typedApply(Typer.scala:106)
	at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2695)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2758)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2823)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2827)
	at dotty.tools.dotc.typer.Namer.typedAheadExpr$$anonfun$1(Namer.scala:1394)
	at dotty.tools.dotc.typer.Namer.typedAhead(Namer.scala:1381)
	at dotty.tools.dotc.typer.Namer.typedAheadExpr(Namer.scala:1394)
	at dotty.tools.dotc.typer.Namer.typedAheadRhs$1$$anonfun$1(Namer.scala:1546)
	at dotty.tools.dotc.typer.PrepareInlineable$.dropInlineIfError(PrepareInlineable.scala:225)
	at dotty.tools.dotc.typer.Namer.typedAheadRhs$2(Namer.scala:1546)
	at dotty.tools.dotc.typer.Namer.rhsType$1(Namer.scala:1554)
	at dotty.tools.dotc.typer.Namer.cookedRhsType$1(Namer.scala:1581)
	at dotty.tools.dotc.typer.Namer.lhsType$1(Namer.scala:1582)
	at dotty.tools.dotc.typer.Namer.inferredType$1(Namer.scala:1593)
	at dotty.tools.dotc.typer.Namer.valOrDefDefSig(Namer.scala:1602)
	at dotty.tools.dotc.typer.Namer$Completer.typeSig(Namer.scala:699)
	at dotty.tools.dotc.typer.Namer$Completer.completeInCreationContext(Namer.scala:826)
	at dotty.tools.dotc.typer.Namer$Completer.complete(Namer.scala:727)
	at dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:167)
	at dotty.tools.dotc.core.Denotations$Denotation.completeInfo$1(Denotations.scala:188)
	at dotty.tools.dotc.core.Denotations$Denotation.info(Denotations.scala:190)
	at dotty.tools.dotc.core.SymDenotations$SymDenotation.ensureCompleted(SymDenotations.scala:369)
	at dotty.tools.dotc.typer.Typer.retrieveSym(Typer.scala:2637)
	at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:2662)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2757)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2823)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2827)
	at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:2849)
	at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:2899)
	at dotty.tools.dotc.typer.Typer.typedBlockStats(Typer.scala:1023)
	at dotty.tools.dotc.typer.Typer.typedBlock(Typer.scala:1027)
	at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2703)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2758)
	at dotty.tools.dotc.typer.ProtoTypes$FunProto.$anonfun$5(ProtoTypes.scala:439)
	at dotty.tools.dotc.typer.ProtoTypes$FunProto.cacheTypedArg(ProtoTypes.scala:370)
	at dotty.tools.dotc.typer.ProtoTypes$FunProto.typedArg(ProtoTypes.scala:440)
	at dotty.tools.dotc.typer.Applications$ApplyToUntyped.typedArg(Applications.scala:849)
	at dotty.tools.dotc.typer.Applications$ApplyToUntyped.typedArg(Applications.scala:849)
	at dotty.tools.dotc.typer.Applications$Application.addTyped$1(Applications.scala:543)
	at dotty.tools.dotc.typer.Applications$Application.matchArgs(Applications.scala:608)
	at dotty.tools.dotc.typer.Applications$Application.init(Applications.scala:446)
	at dotty.tools.dotc.typer.Applications$TypedApply.<init>(Applications.scala:734)
	at dotty.tools.dotc.typer.Applications$ApplyToUntyped.<init>(Applications.scala:848)
	at dotty.tools.dotc.typer.Applications.ApplyTo(Applications.scala:1056)
	at dotty.tools.dotc.typer.Applications.ApplyTo$(Applications.scala:316)
	at dotty.tools.dotc.typer.Typer.ApplyTo(Typer.scala:106)
	at dotty.tools.dotc.typer.Applications.simpleApply$1(Applications.scala:903)
	at dotty.tools.dotc.typer.Applications.realApply$5$$anonfun$4(Applications.scala:982)
	at dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:2951)
	at dotty.tools.dotc.typer.Applications.realApply$1(Applications.scala:993)
	at dotty.tools.dotc.typer.Applications.typedApply(Applications.scala:1031)
	at dotty.tools.dotc.typer.Applications.typedApply$(Applications.scala:316)
	at dotty.tools.dotc.typer.Typer.typedApply(Typer.scala:106)
	at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2695)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2758)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2823)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2827)
	at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:2876)
	at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:2899)
	at dotty.tools.dotc.typer.Typer.typedClassDef(Typer.scala:2354)
	at dotty.tools.dotc.typer.Typer.typedTypeOrClassDef$2(Typer.scala:2683)
	at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:2687)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2757)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2823)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2827)
	at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:2849)
	at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:2899)
	at dotty.tools.dotc.typer.Typer.typedPackageDef(Typer.scala:2477)
	at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2728)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2758)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2823)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2827)
	at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:2943)
	at dotty.tools.dotc.typer.FrontEnd.liftedTree1$1(FrontEnd.scala:79)
	at dotty.tools.dotc.typer.FrontEnd.typeCheck$$anonfun$1(FrontEnd.scala:84)
	at dotty.tools.dotc.typer.FrontEnd.monitor(FrontEnd.scala:43)
	at dotty.tools.dotc.typer.FrontEnd.typeCheck(FrontEnd.scala:85)
	at dotty.tools.dotc.typer.FrontEnd.runOn$$anonfun$3(FrontEnd.scala:120)
	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
	at scala.collection.immutable.List.foreach(List.scala:333)
	at dotty.tools.dotc.typer.FrontEnd.runOn(FrontEnd.scala:120)
	at dotty.tools.dotc.Run.runPhases$4$$anonfun$4(Run.scala:205)
	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
	at scala.collection.ArrayOps$.foreach$extension(ArrayOps.scala:1323)
	at dotty.tools.dotc.Run.runPhases$5(Run.scala:216)
	at dotty.tools.dotc.Run.compileUnits$$anonfun$1(Run.scala:224)
	at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.scala:18)
	at dotty.tools.dotc.util.Stats$.maybeMonitored(Stats.scala:67)
	at dotty.tools.dotc.Run.compileUnits(Run.scala:231)
	at dotty.tools.dotc.Run.compileSources(Run.scala:166)
	at dotty.tools.dotc.Run.compile(Run.scala:150)
	at dotty.tools.dotc.Driver.doCompile(Driver.scala:39)
	at dotty.tools.xsbt.CompilerBridgeDriver.run(CompilerBridgeDriver.java:88)
	at dotty.tools.xsbt.CompilerBridge.run(CompilerBridge.java:22)
	at sbt.internal.inc.AnalyzingCompiler.compile(AnalyzingCompiler.scala:91)
	at sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$7(MixedAnalyzingCompiler.scala:192)
	at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)
	at sbt.internal.inc.MixedAnalyzingCompiler.timed(MixedAnalyzingCompiler.scala:247)
	at sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$4(MixedAnalyzingCompiler.scala:182)
	at sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$4$adapted(MixedAnalyzingCompiler.scala:163)
	at sbt.internal.inc.JarUtils$.withPreviousJar(JarUtils.scala:239)
	at sbt.internal.inc.MixedAnalyzingCompiler.compileScala$1(MixedAnalyzingCompiler.scala:163)
	at sbt.internal.inc.MixedAnalyzingCompiler.compile(MixedAnalyzingCompiler.scala:210)
	at sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileInternal$1(IncrementalCompilerImpl.scala:528)
	at sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileInternal$1$adapted(IncrementalCompilerImpl.scala:528)
	at sbt.internal.inc.Incremental$.$anonfun$apply$5(Incremental.scala:175)
	at sbt.internal.inc.Incremental$.$anonfun$apply$5$adapted(Incremental.scala:173)
	at sbt.internal.inc.Incremental$$anon$2.run(Incremental.scala:459)
	at sbt.internal.inc.IncrementalCommon$CycleState.next(IncrementalCommon.scala:116)
	at sbt.internal.inc.IncrementalCommon$$anon$1.next(IncrementalCommon.scala:56)
	at sbt.internal.inc.IncrementalCommon$$anon$1.next(IncrementalCommon.scala:52)
	at sbt.internal.inc.IncrementalCommon.cycle(IncrementalCommon.scala:263)
	at sbt.internal.inc.Incremental$.$anonfun$incrementalCompile$8(Incremental.scala:414)
	at sbt.internal.inc.Incremental$.withClassfileManager(Incremental.scala:501)
	at sbt.internal.inc.Incremental$.incrementalCompile(Incremental.scala:401)
	at sbt.internal.inc.Incremental$.apply(Incremental.scala:167)
	at sbt.internal.inc.IncrementalCompilerImpl.compileInternal(IncrementalCompilerImpl.scala:528)
	at sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileIncrementally$1(IncrementalCompilerImpl.scala:482)
	at sbt.internal.inc.IncrementalCompilerImpl.handleCompilationError(IncrementalCompilerImpl.scala:332)
	at sbt.internal.inc.IncrementalCompilerImpl.compileIncrementally(IncrementalCompilerImpl.scala:420)
	at sbt.internal.inc.IncrementalCompilerImpl.compile(IncrementalCompilerImpl.scala:137)
	at sbt.Defaults$.compileIncrementalTaskImpl(Defaults.scala:2357)
	at sbt.Defaults$.$anonfun$compileIncrementalTask$2(Defaults.scala:2314)
	at sbt.internal.io.Retry$.apply(Retry.scala:46)
	at sbt.internal.io.Retry$.apply(Retry.scala:28)
	at sbt.internal.io.Retry$.apply(Retry.scala:23)
	at sbt.internal.server.BspCompileTask$.compute(BspCompileTask.scala:31)
	at sbt.Defaults$.$anonfun$compileIncrementalTask$1(Defaults.scala:2310)
	at scala.Function1.$anonfun$compose$1(Function1.scala:49)
	at sbt.internal.util.$tilde$greater.$anonfun$$u2219$1(TypeFunctions.scala:62)
	at sbt.std.Transform$$anon$4.work(Transform.scala:68)
	at sbt.Execute.$anonfun$submit$2(Execute.scala:282)
	at sbt.internal.util.ErrorHandling$.wideConvert(ErrorHandling.scala:23)
	at sbt.Execute.work(Execute.scala:291)
	at sbt.Execute.$anonfun$submit$1(Execute.scala:282)
	at sbt.ConcurrentRestrictions$$anon$4.$anonfun$submitValid$1(ConcurrentRestrictions.scala:265)
	at sbt.CompletionService$$anon$2.call(CompletionService.scala:64)
	at java.util.concurrent.FutureTask.run(FutureTask.java:266)
	at java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:511)
	at java.util.concurrent.FutureTask.run(FutureTask.java:266)
	at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
	at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
	at java.lang.Thread.run(Thread.java:748)
@smarter smarter self-assigned this Aug 19, 2021
@dwijnand dwijnand changed the title TS attempted to take ownership of Any which is already owned by committable TS Crash: TyperState attempted to take ownership of Any which is already owned by committable TyperState Aug 19, 2021
smarter added a commit to dotty-staging/dotty that referenced this issue Aug 23, 2021
@smarter
wildApprox: also approximate FunProto arguments
bee299e 
Previously, `wildApprox` delegated FunProto handling to
`TypeMap#mapOver` which only maps the result type of the FunProto, but
the result of `wildApprox` can be passed to
`ImplicitRunInfo#computeIScope` which will end up calling
`FunProto#typedArgs`. This caused two problems:
- It forced us to use a `provisional` flag in `computeIScope` to account
  for uninstantiated type variables that might show up in the result of
  typedArgs.
- It lead to an assertion failure (in i13340.scala) because it turns out
  that `typedArgs` doesn't always respect the pre-conditions of
  `mergeConstraintWith` (see added NOTE).

By approximating FunProto arguments in wildApprox we can drop the
`provisional` flag and avoid the issue with `typedArgs` (though we might
need to actually fix `typedArgs` one day if the same issue shows up in
other circumstances).

Fixes scala#13340.
@smarter smarter mentioned this issue Aug 23, 2021
Merged
olsdavis pushed a commit to olsdavis/dotty that referenced this issue Apr 4, 2022
@smarter @olsdavis
wildApprox: also approximate FunProto arguments
ec032f8 
Previously, `wildApprox` delegated FunProto handling to
`TypeMap#mapOver` which only maps the result type of the FunProto, but
the result of `wildApprox` can be passed to
`ImplicitRunInfo#computeIScope` which will end up calling
`FunProto#typedArgs`. This caused two problems:
- It forced us to use a `provisional` flag in `computeIScope` to account
  for uninstantiated type variables that might show up in the result of
  typedArgs.
- It lead to an assertion failure (in i13340.scala) because it turns out
  that `typedArgs` doesn't always respect the pre-conditions of
  `mergeConstraintWith` (see added NOTE).

By approximating FunProto arguments in wildApprox we can drop the
`provisional` flag and avoid the issue with `typedArgs` (though we might
need to actually fix `typedArgs` one day if the same issue shows up in
other circumstances).

Fixes scala#13340.
@Kordyjan Kordyjan added this to the 3.1.0 milestone Aug 2, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@smarter smarter

Labels
area:typer itype:crash
Projects
None yet
Milestone
3.1.0
Development

Successfully merging a pull request may close this issue.

wildApprox: also approximate FunProto arguments dotty-staging/dotty
4 participants
@smarter @dwijnand @scf37 @Kordyjan