Skip to content

Match error when typing RedBlackTree.scala #781

New issue
New issue
Closed
Closed
Match error when typing RedBlackTree.scala#781
Labels
stat:fix available
@DarkDimius

Description

@DarkDimius
DarkDimius
opened on Sep 1, 2015
Exception in thread "main" scala.MatchError: ContextBounds(TypeBoundsTree(EmptyTree,EmptyTree),List(AppliedTypeTree(Ident(Ordering),List(Ident(A))))) (of class dotty.tools.dotc.ast.untpd$ContextBounds)
    at dotty.tools.dotc.ast.desugar$.apply(Desugar.scala:771)
    at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:1073)
    at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1079)
    at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1089)
    at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1087)
    at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:148)
    at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:53)
    at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1087)
    at dotty.tools.dotc.typer.Namer.typedAheadImpl(Namer.scala:599)
    at dotty.tools.dotc.typer.Namer.typedAheadType(Namer.scala:606)
    at dotty.tools.dotc.typer.Namer.typeDefSig(Namer.scala:799)
    at dotty.tools.dotc.typer.Namer$Completer.typeSig(Namer.scala:478)
    at dotty.tools.dotc.typer.Namer$Completer.completeInCreationContext(Namer.scala:517)
    at dotty.tools.dotc.typer.Namer$Completer.complete(Namer.scala:500)
    at dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:170)
    at dotty.tools.dotc.core.SymDenotations$SymDenotation.info(SymDenotations.scala:152)
    at dotty.tools.dotc.core.SymDenotations$SymDenotation.ensureCompleted(SymDenotations.scala:267)
    at dotty.tools.dotc.typer.Typer.retrieveSym(Typer.scala:991)
    at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:1016)
    at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1077)
    at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1089)
    at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1087)
    at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:148)
    at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:53)
    at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1087)
    at dotty.tools.dotc.typer.Namer.typedAheadImpl(Namer.scala:599)
    at dotty.tools.dotc.typer.Namer.typedAheadExpr(Namer.scala:609)
    at dotty.tools.dotc.typer.Namer$$anonfun$completeParams$1.apply(Namer.scala:621)
    at dotty.tools.dotc.typer.Namer$$anonfun$completeParams$1.apply(Namer.scala:621)
    at scala.collection.immutable.List.foreach(List.scala:381)
    at dotty.tools.dotc.typer.Namer.completeParams(Namer.scala:621)
    at dotty.tools.dotc.typer.Namer.defDefSig(Namer.scala:759)
    at dotty.tools.dotc.typer.Namer$Completer.typeSig(Namer.scala:475)
    at dotty.tools.dotc.typer.Namer$Completer.completeInCreationContext(Namer.scala:517)
    at dotty.tools.dotc.typer.Namer$Completer.complete(Namer.scala:500)
    at dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:170)
    at dotty.tools.dotc.core.SymDenotations$SymDenotation.info(SymDenotations.scala:152)
    at dotty.tools.dotc.core.SymDenotations$SymDenotation.ensureCompleted(SymDenotations.scala:267)
    at dotty.tools.dotc.typer.Typer.retrieveSym(Typer.scala:991)
    at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:1016)
    at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1077)
    at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1089)
    at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1087)
    at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:148)
    at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:53)
    at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1087)
    at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:1111)
    at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:1122)
    at dotty.tools.dotc.typer.Typer$$anonfun$typedClassDef$1.apply(Typer.scala:923)
    at dotty.tools.dotc.typer.Typer$$anonfun$typedClassDef$1.apply(Typer.scala:906)
    at dotty.tools.dotc.util.Stats$.track(Stats.scala:36)
    at dotty.tools.dotc.typer.Typer.typedClassDef(Typer.scala:906)
    at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:1030)
    at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1077)
    at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1089)
    at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1087)
    at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:148)
    at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:53)
    at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1087)
    at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:1111)
    at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:1122)
    at dotty.tools.dotc.typer.Typer$$anonfun$typedPackageDef$1.apply(Typer.scala:970)
    at dotty.tools.dotc.typer.Typer$$anonfun$typedPackageDef$1.apply(Typer.scala:961)
    at dotty.tools.dotc.util.Stats$.track(Stats.scala:36)
    at dotty.tools.dotc.typer.Typer.typedPackageDef(Typer.scala:961)
    at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:1067)
    at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1079)
    at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1089)
    at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1087)
    at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:148)
    at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:53)
    at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1087)
    at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:1117)
    at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:1122)
    at dotty.tools.dotc.typer.Typer$$anonfun$typedPackageDef$1.apply(Typer.scala:970)
    at dotty.tools.dotc.typer.Typer$$anonfun$typedPackageDef$1.apply(Typer.scala:961)
    at dotty.tools.dotc.util.Stats$.track(Stats.scala:36)
    at dotty.tools.dotc.typer.Typer.typedPackageDef(Typer.scala:961)
    at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:1067)
    at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1079)
    at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1089)
    at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1087)
    at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:148)
    at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:53)
    at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1087)
    at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:1117)
    at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:1122)
    at dotty.tools.dotc.typer.Typer$$anonfun$typedPackageDef$1.apply(Typer.scala:970)
    at dotty.tools.dotc.typer.Typer$$anonfun$typedPackageDef$1.apply(Typer.scala:961)
    at dotty.tools.dotc.util.Stats$.track(Stats.scala:36)
    at dotty.tools.dotc.typer.Typer.typedPackageDef(Typer.scala:961)
    at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:1067)
    at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1079)
    at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1089)
    at dotty.tools.dotc.typer.Typer$$anonfun$typed$2.apply(Typer.scala:1087)
    at dotty.tools.dotc.reporting.Reporting$class.traceIndented(Reporter.scala:148)
    at dotty.tools.dotc.core.Contexts$Context.traceIndented(Contexts.scala:53)
    at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1087)
    at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:1126)
    at dotty.tools.dotc.typer.FrontEnd$$anonfun$typeCheck$1.apply$mcV$sp(FrontEnd.scala:42)
    at dotty.tools.dotc.typer.FrontEnd.monitor(FrontEnd.scala:19)
    at dotty.tools.dotc.typer.FrontEnd.typeCheck(FrontEnd.scala:40)
    at dotty.tools.dotc.typer.FrontEnd$$anonfun$runOn$3.apply(FrontEnd.scala:53)
    at dotty.tools.dotc.typer.FrontEnd$$anonfun$runOn$3.apply(FrontEnd.scala:53)
    at scala.collection.immutable.List.foreach(List.scala:381)
    at dotty.tools.dotc.typer.FrontEnd.runOn(FrontEnd.scala:53)
    at dotty.tools.dotc.Run$$anonfun$compileUnits$1$$anonfun$apply$mcV$sp$1.apply(Run.scala:59)
    at dotty.tools.dotc.Run$$anonfun$compileUnits$1$$anonfun$apply$mcV$sp$1.apply(Run.scala:56)
    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:56)
    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.main(Driver.scala:48)
    at dotty.tools.dotc.Main.main(Main.scala)

Metadata

Metadata

Assignees

No one assigned

    Labels

    stat:fix available

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions