Skip to content

MatchError on opaque object #6061

Closed
Closed
@sir-wabbit

Description

@sir-wabbit
opaque object

ME-ff0285c54e727723dba5793fae7027644306d36b


-- [E040] Syntax Error: test.scala:1:13 ----------------------------------------
1 |opaque object
  |             ^
  |             an identifier expected, but eof found
exception occurred while typechecking test.scala
exception occurred while compiling test.scala
scala.MatchError: List() (of class scala.collection.immutable.Nil$) while compiling test.scala
Exception in thread "main" scala.MatchError: List() (of class scala.collection.immutable.Nil$)
	at dotty.tools.dotc.typer.Namer$ClassCompleter.refineOpaqueCompanionSelfType$1(Namer.scala:1055)
	at dotty.tools.dotc.typer.Namer$ClassCompleter.completeInCreationContext(Namer.scala:1059)
	at dotty.tools.dotc.typer.Namer$Completer.complete(Namer.scala:796)
	at dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:236)
	at dotty.tools.dotc.core.Denotations$Denotation.completeInfo$1(Denotations.scala:180)
	at dotty.tools.dotc.core.Denotations$Denotation.info(Denotations.scala:182)
	at dotty.tools.dotc.core.SymDenotations$SymDenotation.ensureCompleted(SymDenotations.scala:342)
	at dotty.tools.dotc.core.SymDenotations$SymDenotation.isAbsent(SymDenotations.scala:469)
	at dotty.tools.dotc.typer.TypeAssigner.reallyExists(TypeAssigner.scala:170)
	at dotty.tools.dotc.typer.Typer.qualifies$1(Typer.scala:139)
	at dotty.tools.dotc.typer.Typer.loop$2(Typer.scala:287)
	at dotty.tools.dotc.typer.Typer.findRefRecur$1(Typer.scala:349)
	at dotty.tools.dotc.typer.Typer.findRef(Typer.scala:352)
	at dotty.tools.dotc.typer.Typer.typedIdent(Typer.scala:386)
	at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:1991)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2065)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2100)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2112)
	at dotty.tools.dotc.typer.Typer.typedType(Typer.scala:2186)
	at dotty.tools.dotc.typer.Typer.typedValDef(Typer.scala:1484)
	at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:1996)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2065)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2100)
	at dotty.tools.dotc.typer.Typer.typed(Typer.scala:2112)
	at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:2131)
	at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:2173)
	at dotty.tools.dotc.typer.Typer.typedPackageDef(Typer.scala:1798)
	at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2042)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2066)

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