Closed
Description
scalac compiles but dotc crashes.
$ dotc -version
Dotty compiler version 0.5.0-bin-SNAPSHOT-git-4fefb64 -- Copyright 2002-2017, LAMP/EPFL
$ dotc abc.scala
exception occurred while typechecking abc.scala
exception occurred while compiling abc.scala
Exception in thread "main" java.lang.AssertionError: no TypeBounds allowed
at dotty.tools.dotc.core.TypeApplications$.noBounds(TypeApplications.scala:29)
at dotty.tools.dotc.core.TypeApplications$.argTypes$extension$$anonfun$1(TypeApplications.scala:447)
at scala.collection.immutable.List.mapConserve(List.scala:176)
at dotty.tools.dotc.core.TypeApplications$.argTypes$extension(TypeApplications.scala:447)
at dotty.tools.dotc.typer.Implicits.synthesizedClassTag$1(Implicits.scala:551)
at dotty.tools.dotc.typer.Implicits.inferImplicitArg(Implicits.scala:629)
at dotty.tools.dotc.typer.Implicits.synthesizedClassTag$1(Implicits.scala:555)
at dotty.tools.dotc.typer.Implicits.inferImplicitArg(Implicits.scala:629)
at dotty.tools.dotc.typer.Typer.implicitArgs$2(Typer.scala:2021)
at dotty.tools.dotc.typer.Typer.addImplicitArgs$1(Typer.scala:2034)
at dotty.tools.dotc.typer.Typer.adaptNoArgsImplicitMethod$2(Typer.scala:2086)
at dotty.tools.dotc.typer.Typer.adaptNoArgs$1(Typer.scala:2202)
at dotty.tools.dotc.typer.Typer.adaptInterpolated(Typer.scala:2347)
<snipped>
$ cat abc.scala
class U { Array(Array(2), Array("a")) }