Skip to content

UnAssignedTypeException crash (parser stability) #9284

Closed
@sir-wabbit

Description

@sir-wabbit

Minimized code

// TUATE-a0aa3e4143e63305db9ebacb6165df0155d73bbd
object Foo {
    class Bar
    Bar[String][Int]
}

or

class i0 { i0 [String][Int] }

Output (click arrow to expand)

exception occurred while typechecking test.scala
exception occurred while compiling test.scala
dotty.tools.dotc.ast.Trees$UnAssignedTypeException: type of dotty.tools.dotc.typer.Applications$IntegratedTypeArgs@44c is not assigned while compiling test.scala
Exception in thread "main" dotty.tools.dotc.ast.Trees$UnAssignedTypeException: type of dotty.tools.dotc.typer.Applications$IntegratedTypeArgs@44c is not assigned
	at dotty.tools.dotc.ast.Trees$Tree.tpe(Trees.scala:87)
	at dotty.tools.dotc.typer.Typer.adapt1(Typer.scala:3464)
	at dotty.tools.dotc.typer.Typer.op$3(Typer.scala:2836)
	at dotty.tools.dotc.typer.Typer.adapt(Typer.scala:2837)
	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.typedTypeApply(Applications.scala:1045)
	at dotty.tools.dotc.typer.Typer.typedTypeApply(Typer.scala:89)
	at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2394)
	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.traverse$1(Typer.scala:2559)
	at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:2581)
	at dotty.tools.dotc.typer.Typer.typedClassDef(Typer.scala:2034)
	at dotty.tools.dotc.typer.Typer.typedTypeOrClassDef$2(Typer.scala:2364)
	at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:2368)
	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.traverse$1(Typer.scala:2536)

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions