value as implicit function type checker fails for 0.10.0-RC1 while it (i.m.h.o., rightly) succeeds for 0.8.0

[LucDuponcheelAtGitHub]

Folks,

I am still contiuing coding my PDBP library.

For a (way too ?) long time I was using Dotty version 0.8.0.

I would (finally !) like to upgrade to Dotty version 0.10.0-RC1 (and work with shorter upgrade cycles).

Changing build.sbt gave me a weird error.

I was able to pin down the problem to a few lines of code in the file ReadingTransformation.scala that makes use of implicit functions.

The (very long) stack trace is below ...

The simplest way to reproduce it is by cloning
https://github.com/PDBP/pdbp.github.io/tree/upgradingDottyVersion

The project has many .scala files but most of them are moved to .scala.NOTUSED files

Luc Duponcheel

sbt:pdbp> compile
[info] Updating ...
[warn] Binary version (0.10.0-RC1) for dependency ch.epfl.lamp#scala-library;0.10.0-RC1
[warn]  in pdbp#pdbp_0.10;0.8.0 differs from Scala binary version in project (0.10).
[warn] circular dependency found: ch.epfl.lamp#scala-library;0.10.0-RC1->ch.epfl.lamp#dotty-library_0.10;0.10.0-RC1->...
[warn] circular dependency found: ch.epfl.lamp#dotty-library_0.10;0.10.0-RC1->ch.epfl.lamp#scala-library;0.10.0-RC1->...
[info] Done updating.
[info] Compiling 42 Scala sources to /opt/home/git/blog/pdbp/target/scala-0.10/classes ...
exception while typing final class $anon() extends Object() with (C ~U~$u003E
  ReadingTransformation.this.RTC
) {
  override def apply[Z](cz: C[Z]): ReadingTransformation.this.RTC[Z] =
    {
      def $anonfun(implicit evidence$7: R): C[Z] =
        this.apply$direct[Z](cz)(evidence$7)
      closure($anonfun)
    }
  def apply$direct[Z](cz: C[Z])(implicit x$0: R): C[Z] =
    {
      cz
    }
} of class class dotty.tools.dotc.ast.Trees$TypeDef # 31506
exception while typing {
  final class $anon() extends Object() with (C ~U~$u003E
    ReadingTransformation.this.RTC
  ) {
    override def apply[Z](cz: C[Z]): ReadingTransformation.this.RTC[Z] =
      {
        def $anonfun(implicit evidence$7: R): C[Z] =
          this.apply$direct[Z](cz)(evidence$7)
        closure($anonfun)
      }
    def apply$direct[Z](cz: C[Z])(implicit x$0: R): C[Z] =
      {
        cz
      }
  }
  new Object with pdbp.naturalTransformation.unary.~U~$u003E{...}():
    C ~U~$u003E ReadingTransformation.this.RTC
} of class class dotty.tools.dotc.ast.Trees$Block # 31507
exception while typing override <accessor> def transform:
  C ~U~$u003E
    pdbp.computation.transformation.reading.ReadingTransformation.
      ReadingTransformed
    [R, C]

 =
  {
    final class $anon() extends Object() with (C ~U~$u003E
      ReadingTransformation.this.RTC
    ) {
      override def apply[Z](cz: C[Z]): ReadingTransformation.this.RTC[Z] =
        {
          def $anonfun(implicit evidence$7: R): C[Z] =
            this.apply$direct[Z](cz)(evidence$7)
          closure($anonfun)
        }
      def apply$direct[Z](cz: C[Z])(implicit x$0: R): C[Z] =
        {
          cz
        }
    }
    new Object with pdbp.naturalTransformation.unary.~U~$u003E{...}():
      C ~U~$u003E ReadingTransformation.this.RTC
  } of class class dotty.tools.dotc.ast.Trees$DefDef # 31510
exception while typing @scala.annotation.internal.SourceFile(

    "/opt/home/git/blog/pdbp/src/main/scala/pdbp/computation/transformation/reading/ReadingTransformation.scala"

) <trait> trait ReadingTransformation[R, C <: [+_$15] => Any](
  implicit evidence$3: pdbp.computation.Computation[C]
) extends Object with
  pdbp.computation.transformation.ComputationTransformation[C,
    pdbp.computation.transformation.reading.ReadingTransformation.
      ReadingTransformed
    [R, C]
  ]
 with
  pdbp.program.reading.Reading[R,
    pdbp.types.kleisli.binary.kleisliBinaryTypeConstructorType.Kleisli[
      pdbp.computation.transformation.reading.ReadingTransformation.
        ReadingTransformed
      [R, C]
    ]
  ]
 {
  private type R
  private type C <: [+_$15] => Any
  private implicit <accessor> def evidence$3: pdbp.computation.Computation[C]
  private type RTC =

      pdbp.computation.transformation.reading.ReadingTransformation.
        ReadingTransformed
      [R, C]

  private type =$u003ERTC =

      pdbp.types.kleisli.binary.kleisliBinaryTypeConstructorType.Kleisli[
        ReadingTransformation.this.RTC
      ]

  override <accessor> def transform:
    C ~U~$u003E
      pdbp.computation.transformation.reading.ReadingTransformation.
        ReadingTransformed
      [R, C]

   =
    {
      final class $anon() extends Object() with (C ~U~$u003E
        ReadingTransformation.this.RTC
      ) {
        override def apply[Z](cz: C[Z]): ReadingTransformation.this.RTC[Z] =
          {
            def $anonfun(implicit evidence$7: R): C[Z] =
              this.apply$direct[Z](cz)(evidence$7)
            closure($anonfun)
          }
        def apply$direct[Z](cz: C[Z])(implicit x$0: R): C[Z] =
          {
            cz
          }
      }
      new Object with pdbp.naturalTransformation.unary.~U~$u003E{...}():
        C ~U~$u003E ReadingTransformation.this.RTC
    }
  override def bind[Z, Y](rtcz: ReadingTransformation.this.RTC[Z],
    z$u003E=rtcy: () => Z => ReadingTransformation.this.RTC[Y]
  ): ReadingTransformation.this.RTC[Y] =
    {
      def $anonfun(implicit evidence$8: R): C[Y] =
        this.bind$direct[Z, Y](rtcz,
          <special-ops>.<cbn-arg>[Z => ReadingTransformation.this.RTC[Y]](
            z$u003E=rtcy
          )
        )(evidence$8)
      closure($anonfun)
    }
  def bind$direct[Z, Y](
    rtcz:

        pdbp.computation.transformation.reading.ReadingTransformation.
          ReadingTransformed
        [R, C][Z]

  ,
    z$u003E=rtcy:
      () => Z =>
        pdbp.computation.transformation.reading.ReadingTransformation.
          ReadingTransformed
        [R, C][Y]

  )(implicit x$0: R): C[Y] =
    {
      this.evidence$3.bind[Z, Y](rtcz.apply(x$0),
        <special-ops>.<cbn-arg>[Z => C[Y]](
          {
            def $anonfun(): Z => C[Y] =
              {
                {
                  def $anonfun(z: Z): C[Y] =
                    {
                      `z$u003E=rtcy`.apply().apply(z).apply(x$0)
                    }
                  closure($anonfun)
                }
              }
            closure($anonfun)
          }
        )
      )
    }
  override <accessor> def u$u003E--$u003Er:

      pdbp.types.kleisli.binary.kleisliBinaryTypeConstructorType.Kleisli[
        pdbp.computation.transformation.reading.ReadingTransformation.
          ReadingTransformed
        [R, C]
      ][Unit, R]

   =
    {
      {
        def $anonfun(_$16: Unit): ReadingTransformation.this.RTC[R] =
          {
            def $anonfun(implicit evidence$9: R): C[R] =
              {
                this.evidence$3.result[R].apply(
                  /* inlined from dotty.DottyPredef */
                    {
                      evidence$9
                    }
                )
              }
            closure($anonfun)
          }
        closure($anonfun)
      }
    }
} of class class dotty.tools.dotc.ast.Trees$TypeDef # 31549
exception while typing package pdbp.computation.transformation.reading {
  final lazy module val ReadingTransformation:
    pdbp.computation.transformation.reading.ReadingTransformation
   = new pdbp.computation.transformation.reading.ReadingTransformation()
  @scala.annotation.internal.SourceFile(

      "/opt/home/git/blog/pdbp/src/main/scala/pdbp/computation/transformation/reading/ReadingTransformation.scala"

  ) <trait> trait ReadingTransformation[R, C <: [+_$15] => Any](
    implicit evidence$3: pdbp.computation.Computation[C]
  ) extends Object with
    pdbp.computation.transformation.ComputationTransformation[C,
      pdbp.computation.transformation.reading.ReadingTransformation.
        ReadingTransformed
      [R, C]
    ]
   with
    pdbp.program.reading.Reading[R,
      pdbp.types.kleisli.binary.kleisliBinaryTypeConstructorType.Kleisli[
        pdbp.computation.transformation.reading.ReadingTransformation.
          ReadingTransformed
        [R, C]
      ]
    ]
   {
    private type R
    private type C <: [+_$15] => Any
    private implicit <accessor> def evidence$3: pdbp.computation.Computation[C]
    private type RTC =

        pdbp.computation.transformation.reading.ReadingTransformation.
          ReadingTransformed
        [R, C]

    private type =$u003ERTC =

        pdbp.types.kleisli.binary.kleisliBinaryTypeConstructorType.Kleisli[
          ReadingTransformation.this.RTC
        ]

    override <accessor> def transform:
      C ~U~$u003E
        pdbp.computation.transformation.reading.ReadingTransformation.
          ReadingTransformed
        [R, C]

     =
      {
        final class $anon() extends Object() with (C ~U~$u003E
          ReadingTransformation.this.RTC
        ) {
          override def apply[Z](cz: C[Z]): ReadingTransformation.this.RTC[Z] =
            {
              def $anonfun(implicit evidence$7: R): C[Z] =
                this.apply$direct[Z](cz)(evidence$7)
              closure($anonfun)
            }
          def apply$direct[Z](cz: C[Z])(implicit x$0: R): C[Z] =
            {
              cz
            }
        }
        new Object with pdbp.naturalTransformation.unary.~U~$u003E{...}():
          C ~U~$u003E ReadingTransformation.this.RTC
      }
    override def bind[Z, Y](rtcz: ReadingTransformation.this.RTC[Z],
      z$u003E=rtcy: () => Z => ReadingTransformation.this.RTC[Y]
    ): ReadingTransformation.this.RTC[Y] =
      {
        def $anonfun(implicit evidence$8: R): C[Y] =
          this.bind$direct[Z, Y](rtcz,
            <special-ops>.<cbn-arg>[Z => ReadingTransformation.this.RTC[Y]](
              z$u003E=rtcy
            )
          )(evidence$8)
        closure($anonfun)
      }
    def bind$direct[Z, Y](
      rtcz:

          pdbp.computation.transformation.reading.ReadingTransformation.
            ReadingTransformed
          [R, C][Z]

    ,
      z$u003E=rtcy:
        () => Z =>
          pdbp.computation.transformation.reading.ReadingTransformation.
            ReadingTransformed
          [R, C][Y]

    )(implicit x$0: R): C[Y] =
      {
        this.evidence$3.bind[Z, Y](rtcz.apply(x$0),
          <special-ops>.<cbn-arg>[Z => C[Y]](
            {
              def $anonfun(): Z => C[Y] =
                {
                  {
                    def $anonfun(z: Z): C[Y] =
                      {
                        `z$u003E=rtcy`.apply().apply(z).apply(x$0)
                      }
                    closure($anonfun)
                  }
                }
              closure($anonfun)
            }
          )
        )
      }
    override <accessor> def u$u003E--$u003Er:

        pdbp.types.kleisli.binary.kleisliBinaryTypeConstructorType.Kleisli[
          pdbp.computation.transformation.reading.ReadingTransformation.
            ReadingTransformed
          [R, C]
        ][Unit, R]

     =
      {
        {
          def $anonfun(_$16: Unit): ReadingTransformation.this.RTC[R] =
            {
              def $anonfun(implicit evidence$9: R): C[R] =
                {
                  this.evidence$3.result[R].apply(
                    /* inlined from dotty.DottyPredef */
                      {
                        evidence$9
                      }
                  )
                }
              closure($anonfun)
            }
          closure($anonfun)
        }
      }
  }
  @scala.annotation.internal.SourceFile(

      "/opt/home/git/blog/pdbp/src/main/scala/pdbp/computation/transformation/reading/ReadingTransformation.scala"

  ) final module class ReadingTransformation() extends Object() {
    type ReadingTransformed =
      [R, C <: [+_$14] => Any] => [+Z] => implicit R => C[Z]
  }
} of class class dotty.tools.dotc.ast.Trees$PackageDef # 31550
[info] exception occurred while compiling /opt/home/git/blog/pdbp/src/main/scala/pdbp/computation/Binding.scala, /opt/home/git/blog/pdbp/src/main/scala/pdbp/computation/Computation.scala, /opt/home/git/blog/pdbp/src/main/scala/pdbp/computation/FunctionLifting.scala, /opt/home/git/blog/pdbp/src/main/scala/pdbp/computation/Lifting.scala, /opt/home/git/blog/pdbp/src/main/scala/pdbp/computation/ObjectLifting.scala, /opt/home/git/blog/pdbp/src/main/scala/pdbp/computation/OperatorLifting.scala, /opt/home/git/blog/pdbp/src/main/scala/pdbp/computation/Resulting.scala, /opt/home/git/blog/pdbp/src/main/scala/pdbp/computation/Sequencing.scala, /opt/home/git/blog/pdbp/src/main/scala/pdbp/computation/transformation/ComputationTransformation.scala, /opt/home/git/blog/pdbp/src/main/scala/pdbp/computation/transformation/reactive/LatencyTransformation.scala, /opt/home/git/blog/pdbp/src/main/scala/pdbp/computation/transformation/reading/ReadingTransformation.scala, /opt/home/git/blog/pdbp/src/main/scala/pdbp/naturalTransformation/binary/NaturalBinaryTypeConstructorTransformation.scala, /opt/home/git/blog/pdbp/src/main/scala/pdbp/naturalTransformation/unary/NaturalUnaryTypeConstructorTransformation.scala, /opt/home/git/blog/pdbp/src/main/scala/pdbp/program/Aggregation.scala, /opt/home/git/blog/pdbp/src/main/scala/pdbp/program/Applying.scala, /opt/home/git/blog/pdbp/src/main/scala/pdbp/program/Composition.scala, /opt/home/git/blog/pdbp/src/main/scala/pdbp/program/Condition.scala, /opt/home/git/blog/pdbp/src/main/scala/pdbp/program/Construction.scala, /opt/home/git/blog/pdbp/src/main/scala/pdbp/program/Function.scala, /opt/home/git/blog/pdbp/src/main/scala/pdbp/program/Program.scala, /opt/home/git/blog/pdbp/src/main/scala/pdbp/program/failure/Failure.scala, /opt/home/git/blog/pdbp/src/main/scala/pdbp/program/latency/Latency.scala, /opt/home/git/blog/pdbp/src/main/scala/pdbp/program/latency/writing/LoggingLatency.scala, /opt/home/git/blog/pdbp/src/main/scala/pdbp/program/reading/Reading.scala, /opt/home/git/blog/pdbp/src/main/scala/pdbp/program/state/State.scala, /opt/home/git/blog/pdbp/src/main/scala/pdbp/program/writing/Writing.scala, /opt/home/git/blog/pdbp/src/main/scala/pdbp/types/const/constType.scala, /opt/home/git/blog/pdbp/src/main/scala/pdbp/types/implicitFunctionType.scala, /opt/home/git/blog/pdbp/src/main/scala/pdbp/types/kleisli/binary/kleisliBinaryTypeConstructorType.scala, /opt/home/git/blog/pdbp/src/main/scala/pdbp/types/product/productType.scala, /opt/home/git/blog/pdbp/src/main/scala/pdbp/types/sum/sumType.scala, /opt/home/git/blog/pdbp/src/main/scala/pdbp/types/toConsole/ToConsole.scala, /opt/home/git/blog/pdbp/src/main/scala/pdbp/utils/actorUtils.scala, /opt/home/git/blog/pdbp/src/main/scala/pdbp/utils/effectfulFunctionUtils.scala, /opt/home/git/blog/pdbp/src/main/scala/pdbp/utils/functionUtils.scala, /opt/home/git/blog/pdbp/src/main/scala/pdbp/utils/infoUtils.scala, /opt/home/git/blog/pdbp/src/main/scala/pdbp/utils/productAndSumUtils.scala, /opt/home/git/blog/pdbp/src/main/scala/pdbp/utils/productUtils.scala, /opt/home/git/blog/pdbp/src/main/scala/pdbp/utils/sumUtils.scala, /opt/home/git/blog/pdbp/src/main/scala/pdbp/writable/Appendable.scala, /opt/home/git/blog/pdbp/src/main/scala/pdbp/writable/Startable.scala, /opt/home/git/blog/pdbp/src/main/scala/pdbp/writable/Writable.scala
[error] ## Exception when compiling 42 sources to /opt/home/git/blog/pdbp/target/scala-0.10/classes
[error] assertion failed
[error] dotty.DottyPredef$.assertFail(DottyPredef.scala:37)
[error] dotty.tools.dotc.core.Types$MethodType.<init>(Types.scala:2980)
[error] dotty.tools.dotc.core.Types$CachedMethodType.<init>(Types.scala:2997)
[error] dotty.tools.dotc.core.Types$MethodTypeCompanion.apply(Types.scala:3065)
[error] dotty.tools.dotc.core.Types$MethodTypeCompanion.apply(Types.scala:3064)
[error] dotty.tools.dotc.core.Types$LambdaType.newLikeThis(Types.scala:2807)
[error] dotty.tools.dotc.core.Types$LambdaType.derivedLambdaType(Types.scala:2802)
[error] dotty.tools.dotc.transform.ShortcutImplicits$.directInfo(ShortcutImplicits.scala:178)
[error] dotty.tools.dotc.transform.ShortcutImplicits$.directInfo(ShortcutImplicits.scala:177)
[error] dotty.tools.dotc.transform.ShortcutImplicits$.dotty$tools$dotc$transform$ShortcutImplicits$$$newShortcutMethod(ShortcutImplicits.scala:188)
[error] dotty.tools.dotc.transform.ShortcutImplicits$.shortcutMethod$$anonfun$2(ShortcutImplicits.scala:197)
[error] dotty.tools.dotc.core.Symbols$Symbol.orElse(Symbols.scala:594)
[error] dotty.tools.dotc.transform.ShortcutImplicits$.shortcutMethod(ShortcutImplicits.scala:197)
[error] dotty.tools.dotc.transform.Bridges.add(Bridges.scala:129)
[error] dotty.tools.dotc.transform.Erasure$Typer.typedStats(Erasure.scala:704)
[error] dotty.tools.dotc.typer.Typer.typedClassDef(Typer.scala:1593)
[error] dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:1872)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1935)
[error] dotty.tools.dotc.typer.ReTyper.typedUnadapted(ReTyper.scala:112)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:1967)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:1979)
[error] dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:1998)
[error] dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:2039)
[error] dotty.tools.dotc.transform.Erasure$Typer.typedStats(Erasure.scala:706)
[error] dotty.tools.dotc.typer.Typer.typedBlockStats(Typer.scala:665)
[error] dotty.tools.dotc.typer.Typer.typedBlock(Typer.scala:668)
[error] dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:1889)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1936)
[error] dotty.tools.dotc.typer.ReTyper.typedUnadapted(ReTyper.scala:112)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:1967)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:1979)
[error] dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:2050)
[error] dotty.tools.dotc.typer.Typer.typedDefDef(Typer.scala:1489)
[error] dotty.tools.dotc.transform.Erasure$Typer.typedDefDef(Erasure.scala:599)
[error] dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:1869)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1935)
[error] dotty.tools.dotc.typer.ReTyper.typedUnadapted(ReTyper.scala:112)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:1967)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:1979)
[error] dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:1998)
[error] dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:2039)
[error] dotty.tools.dotc.transform.Erasure$Typer.typedStats(Erasure.scala:706)
[error] dotty.tools.dotc.typer.Typer.typedClassDef(Typer.scala:1593)
[error] dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:1872)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1935)
[error] dotty.tools.dotc.typer.ReTyper.typedUnadapted(ReTyper.scala:112)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:1967)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:1979)
[error] dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:1998)
[error] dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:2039)
[error] dotty.tools.dotc.transform.Erasure$Typer.typedStats(Erasure.scala:706)
[error] dotty.tools.dotc.typer.Typer.typedPackageDef(Typer.scala:1707)
[error] dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:1914)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1936)
[error] dotty.tools.dotc.typer.ReTyper.typedUnadapted(ReTyper.scala:112)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:1967)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:1979)
[error] dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:2050)
[error] dotty.tools.dotc.transform.Erasure.run(Erasure.scala:99)
[error] dotty.tools.dotc.core.Phases$Phase.runOn$$anonfun$1(Phases.scala:299)
[error] scala.collection.immutable.List.map(List.scala:286)
[error] dotty.tools.dotc.core.Phases$Phase.runOn(Phases.scala:301)
[error] dotty.tools.dotc.Run.runPhases$4$$anonfun$4(Run.scala:175)
[error] scala.compat.java8.JProcedure1.apply(JProcedure1.java:18)
[error] scala.compat.java8.JProcedure1.apply(JProcedure1.java:10)
[error] scala.collection.IndexedSeqOptimized.foreach(IndexedSeqOptimized.scala:32)
[error] scala.collection.IndexedSeqOptimized.foreach$(IndexedSeqOptimized.scala:29)
[error] scala.collection.mutable.ArrayOps$ofRef.foreach(ArrayOps.scala:194)
[error] dotty.tools.dotc.Run.runPhases$5(Run.scala:187)
[error] dotty.tools.dotc.Run.compileUnits$$anonfun$1(Run.scala:195)
[error] scala.compat.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12)
[error] dotty.tools.dotc.util.Stats$.maybeMonitored(Stats.scala:90)
[error] dotty.tools.dotc.Run.compileUnits(Run.scala:202)
[error] dotty.tools.dotc.Run.compileSources(Run.scala:137)
[error] dotty.tools.dotc.Run.compile(Run.scala:121)
[error] dotty.tools.dotc.Driver.doCompile(Driver.scala:31)
[error] dotty.tools.dotc.Driver.process(Driver.scala:134)
[error] xsbt.CachedCompilerImpl.run(CompilerInterface.scala:61)
[error] xsbt.CachedCompilerImpl.run(CompilerInterface.scala:51)
[error] xsbt.CompilerInterface.run(CompilerInterface.scala:35)
[error] sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
[error] sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
[error] sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
[error] java.lang.reflect.Method.invoke(Method.java:498)
[error] sbt.internal.inc.AnalyzingCompiler.call(AnalyzingCompiler.scala:237)
[error] sbt.internal.inc.AnalyzingCompiler.compile(AnalyzingCompiler.scala:111)
[error] sbt.internal.inc.AnalyzingCompiler.compile(AnalyzingCompiler.scala:90)
[error] sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$3(MixedAnalyzingCompiler.scala:82)
[error] scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12)
[error] sbt.internal.inc.MixedAnalyzingCompiler.timed(MixedAnalyzingCompiler.scala:133)
[error] sbt.internal.inc.MixedAnalyzingCompiler.compileScala$1(MixedAnalyzingCompiler.scala:73)
[error] sbt.internal.inc.MixedAnalyzingCompiler.compile(MixedAnalyzingCompiler.scala:116)
[error] sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileInternal$1(IncrementalCompilerImpl.scala:307)
[error] sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileInternal$1$adapted(IncrementalCompilerImpl.scala:307)
[error] sbt.internal.inc.Incremental$.doCompile(Incremental.scala:106)
[error] sbt.internal.inc.Incremental$.$anonfun$compile$4(Incremental.scala:87)
[error] sbt.internal.inc.IncrementalCommon.recompileClasses(IncrementalCommon.scala:116)
[error] sbt.internal.inc.IncrementalCommon.cycle(IncrementalCommon.scala:63)
[error] sbt.internal.inc.Incremental$.$anonfun$compile$3(Incremental.scala:89)
[error] sbt.internal.inc.Incremental$.manageClassfiles(Incremental.scala:134)
[error] sbt.internal.inc.Incremental$.compile(Incremental.scala:80)
[error] sbt.internal.inc.IncrementalCompile$.apply(Compile.scala:67)
[error] sbt.internal.inc.IncrementalCompilerImpl.compileInternal(IncrementalCompilerImpl.scala:311)
[error] sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileIncrementally$1(IncrementalCompilerImpl.scala:269)
[error] sbt.internal.inc.IncrementalCompilerImpl.handleCompilationError(IncrementalCompilerImpl.scala:159)
[error] sbt.internal.inc.IncrementalCompilerImpl.compileIncrementally(IncrementalCompilerImpl.scala:238)
[error] sbt.internal.inc.IncrementalCompilerImpl.compile(IncrementalCompilerImpl.scala:69)
[error] sbt.Defaults$.compileIncrementalTaskImpl(Defaults.scala:1544)
[error] sbt.Defaults$.$anonfun$compileIncrementalTask$1(Defaults.scala:1518)
[error] scala.Function1.$anonfun$compose$1(Function1.scala:44)
[error] sbt.internal.util.$tilde$greater.$anonfun$$u2219$1(TypeFunctions.scala:40)
[error] sbt.std.Transform$$anon$4.work(System.scala:67)
[error] sbt.Execute.$anonfun$submit$2(Execute.scala:269)
[error] sbt.internal.util.ErrorHandling$.wideConvert(ErrorHandling.scala:16)
[error] sbt.Execute.work(Execute.scala:278)
[error] sbt.Execute.$anonfun$submit$1(Execute.scala:269)
[error] sbt.ConcurrentRestrictions$$anon$4.$anonfun$submitValid$1(ConcurrentRestrictions.scala:178)
[error] sbt.CompletionService$$anon$2.call(CompletionService.scala:37)
[error] java.util.concurrent.FutureTask.run(FutureTask.java:266)
[error] java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:511)
[error] java.util.concurrent.FutureTask.run(FutureTask.java:266)
[error] java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
[error] java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
[error] java.lang.Thread.run(Thread.java:748)
[error]
[error] java.lang.AssertionError: assertion failed
[error]         at dotty.DottyPredef$.assertFail(DottyPredef.scala:37)
[error]         at dotty.tools.dotc.core.Types$MethodType.<init>(Types.scala:2980)
[error]         at dotty.tools.dotc.core.Types$CachedMethodType.<init>(Types.scala:2997)
[error]         at dotty.tools.dotc.core.Types$MethodTypeCompanion.apply(Types.scala:3065)
[error]         at dotty.tools.dotc.core.Types$MethodTypeCompanion.apply(Types.scala:3064)
[error]         at dotty.tools.dotc.core.Types$LambdaType.newLikeThis(Types.scala:2807)
[error]         at dotty.tools.dotc.core.Types$LambdaType.derivedLambdaType(Types.scala:2802)
[error]         at dotty.tools.dotc.transform.ShortcutImplicits$.directInfo(ShortcutImplicits.scala:178)
[error]         at dotty.tools.dotc.transform.ShortcutImplicits$.directInfo(ShortcutImplicits.scala:177)
[error]         at dotty.tools.dotc.transform.ShortcutImplicits$.dotty$tools$dotc$transform$ShortcutImplicits$$$newShortcutMethod(ShortcutImplicits.scala:188)
[error]         at dotty.tools.dotc.transform.ShortcutImplicits$.shortcutMethod$$anonfun$2(ShortcutImplicits.scala:197)
[error]         at dotty.tools.dotc.core.Symbols$Symbol.orElse(Symbols.scala:594)
[error]         at dotty.tools.dotc.transform.ShortcutImplicits$.shortcutMethod(ShortcutImplicits.scala:197)
[error]         at dotty.tools.dotc.transform.Bridges.add(Bridges.scala:129)
[error]         at dotty.tools.dotc.transform.Erasure$Typer.typedStats(Erasure.scala:704)
[error]         at dotty.tools.dotc.typer.Typer.typedClassDef(Typer.scala:1593)
[error]         at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:1872)
[error]         at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1935)
[error]         at dotty.tools.dotc.typer.ReTyper.typedUnadapted(ReTyper.scala:112)
[error]         at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1967)
[error]         at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1979)
[error]         at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:1998)
[error]         at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:2039)
[error]         at dotty.tools.dotc.transform.Erasure$Typer.typedStats(Erasure.scala:706)
[error]         at dotty.tools.dotc.typer.Typer.typedBlockStats(Typer.scala:665)
[error]         at dotty.tools.dotc.typer.Typer.typedBlock(Typer.scala:668)
[error]         at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:1889)
[error]         at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1936)
[error]         at dotty.tools.dotc.typer.ReTyper.typedUnadapted(ReTyper.scala:112)
[error]         at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1967)
[error]         at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1979)
[error]         at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:2050)
[error]         at dotty.tools.dotc.typer.Typer.typedDefDef(Typer.scala:1489)
[error]         at dotty.tools.dotc.transform.Erasure$Typer.typedDefDef(Erasure.scala:599)
[error]         at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:1869)
[error]         at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1935)
[error]         at dotty.tools.dotc.typer.ReTyper.typedUnadapted(ReTyper.scala:112)
[error]         at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1967)
[error]         at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1979)
[error]         at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:1998)
[error]         at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:2039)
[error]         at dotty.tools.dotc.transform.Erasure$Typer.typedStats(Erasure.scala:706)
[error]         at dotty.tools.dotc.typer.Typer.typedClassDef(Typer.scala:1593)
[error]         at dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:1872)
[error]         at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1935)
[error]         at dotty.tools.dotc.typer.ReTyper.typedUnadapted(ReTyper.scala:112)
[error]         at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1967)
[error]         at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1979)
[error]         at dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:1998)
[error]         at dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:2039)
[error]         at dotty.tools.dotc.transform.Erasure$Typer.typedStats(Erasure.scala:706)
[error]         at dotty.tools.dotc.typer.Typer.typedPackageDef(Typer.scala:1707)
[error]         at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:1914)
[error]         at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1936)
[error]         at dotty.tools.dotc.typer.ReTyper.typedUnadapted(ReTyper.scala:112)
[error]         at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1967)
[error]         at dotty.tools.dotc.typer.Typer.typed(Typer.scala:1979)
[error]         at dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:2050)
[error]         at dotty.tools.dotc.transform.Erasure.run(Erasure.scala:99)
[error]         at dotty.tools.dotc.core.Phases$Phase.runOn$$anonfun$1(Phases.scala:299)
[error]         at scala.collection.immutable.List.map(List.scala:286)
[error]         at dotty.tools.dotc.core.Phases$Phase.runOn(Phases.scala:301)
[error]         at dotty.tools.dotc.Run.runPhases$4$$anonfun$4(Run.scala:175)
[error]         at scala.compat.java8.JProcedure1.apply(JProcedure1.java:18)
[error]         at scala.compat.java8.JProcedure1.apply(JProcedure1.java:10)
[error]         at scala.collection.IndexedSeqOptimized.foreach(IndexedSeqOptimized.scala:32)
[error]         at scala.collection.IndexedSeqOptimized.foreach$(IndexedSeqOptimized.scala:29)
[error]         at scala.collection.mutable.ArrayOps$ofRef.foreach(ArrayOps.scala:194)
[error]         at dotty.tools.dotc.Run.runPhases$5(Run.scala:187)
[error]         at dotty.tools.dotc.Run.compileUnits$$anonfun$1(Run.scala:195)
[error]         at scala.compat.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12)
[error]         at dotty.tools.dotc.util.Stats$.maybeMonitored(Stats.scala:90)
[error]         at dotty.tools.dotc.Run.compileUnits(Run.scala:202)
[error]         at dotty.tools.dotc.Run.compileSources(Run.scala:137)
[error]         at dotty.tools.dotc.Run.compile(Run.scala:121)
[error]         at dotty.tools.dotc.Driver.doCompile(Driver.scala:31)
[error]         at dotty.tools.dotc.Driver.process(Driver.scala:134)
[error]         at xsbt.CachedCompilerImpl.run(CompilerInterface.scala:61)
[error]         at xsbt.CachedCompilerImpl.run(CompilerInterface.scala:51)
[error]         at xsbt.CompilerInterface.run(CompilerInterface.scala:35)
[error]         at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
[error]         at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
[error]         at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
[error]         at java.lang.reflect.Method.invoke(Method.java:498)
[error]         at sbt.internal.inc.AnalyzingCompiler.call(AnalyzingCompiler.scala:237)
[error]         at sbt.internal.inc.AnalyzingCompiler.compile(AnalyzingCompiler.scala:111)
[error]         at sbt.internal.inc.AnalyzingCompiler.compile(AnalyzingCompiler.scala:90)
[error]         at sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$3(MixedAnalyzingCompiler.scala:82)
[error]         at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12)
[error]         at sbt.internal.inc.MixedAnalyzingCompiler.timed(MixedAnalyzingCompiler.scala:133)
[error]         at sbt.internal.inc.MixedAnalyzingCompiler.compileScala$1(MixedAnalyzingCompiler.scala:73)
[error]         at sbt.internal.inc.MixedAnalyzingCompiler.compile(MixedAnalyzingCompiler.scala:116)
[error]         at sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileInternal$1(IncrementalCompilerImpl.scala:307)
[error]         at sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileInternal$1$adapted(IncrementalCompilerImpl.scala:307)
[error]         at sbt.internal.inc.Incremental$.doCompile(Incremental.scala:106)
[error]         at sbt.internal.inc.Incremental$.$anonfun$compile$4(Incremental.scala:87)
[error]         at sbt.internal.inc.IncrementalCommon.recompileClasses(IncrementalCommon.scala:116)
[error]         at sbt.internal.inc.IncrementalCommon.cycle(IncrementalCommon.scala:63)
[error]         at sbt.internal.inc.Incremental$.$anonfun$compile$3(Incremental.scala:89)
[error]         at sbt.internal.inc.Incremental$.manageClassfiles(Incremental.scala:134)
[error]         at sbt.internal.inc.Incremental$.compile(Incremental.scala:80)
[error]         at sbt.internal.inc.IncrementalCompile$.apply(Compile.scala:67)
[error]         at sbt.internal.inc.IncrementalCompilerImpl.compileInternal(IncrementalCompilerImpl.scala:311)
[error]         at sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileIncrementally$1(IncrementalCompilerImpl.scala:269)
[error]         at sbt.internal.inc.IncrementalCompilerImpl.handleCompilationError(IncrementalCompilerImpl.scala:159)
[error]         at sbt.internal.inc.IncrementalCompilerImpl.compileIncrementally(IncrementalCompilerImpl.scala:238)
[error]         at sbt.internal.inc.IncrementalCompilerImpl.compile(IncrementalCompilerImpl.scala:69)
[error]         at sbt.Defaults$.compileIncrementalTaskImpl(Defaults.scala:1544)
[error]         at sbt.Defaults$.$anonfun$compileIncrementalTask$1(Defaults.scala:1518)
[error]         at scala.Function1.$anonfun$compose$1(Function1.scala:44)
[error]         at sbt.internal.util.$tilde$greater.$anonfun$$u2219$1(TypeFunctions.scala:40)
[error]         at sbt.std.Transform$$anon$4.work(System.scala:67)
[error]         at sbt.Execute.$anonfun$submit$2(Execute.scala:269)
[error]         at sbt.internal.util.ErrorHandling$.wideConvert(ErrorHandling.scala:16)
[error]         at sbt.Execute.work(Execute.scala:278)
[error]         at sbt.Execute.$anonfun$submit$1(Execute.scala:269)
[error]         at sbt.ConcurrentRestrictions$$anon$4.$anonfun$submitValid$1(ConcurrentRestrictions.scala:178)
[error]         at sbt.CompletionService$$anon$2.call(CompletionService.scala:37)
[error]         at java.util.concurrent.FutureTask.run(FutureTask.java:266)
[error]         at java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:511)
[error]         at java.util.concurrent.FutureTask.run(FutureTask.java:266)
[error]         at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
[error]         at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
[error]         at java.lang.Thread.run(Thread.java:748)
[error] (Compile / compileIncremental) java.lang.AssertionError: assertion failed
[error] Total time: 9 s, completed Oct 5, 2018 9:43:51 PM