Skip to content

crash on compilable code: no TypeBounds allowed #3630

Closed
@helloqirun

Description

@helloqirun

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")) }

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