scala3 icon indicating copy to clipboard operation
scala3 copied to clipboard

The Scala 3 compiler, also known as Dotty.

Results 959 scala3 issues
Sort by recently updated
recently updated
newest added

## Compiler version 3.2.1-RC1-bin-20220721-634c580-NIGHTLY and earlier ## Minimized code ```scala //> using scala "3.2.1-RC1-bin-20220721-634c580-NIGHTLY" import scala.quoted.* trait Foo: type Number '{} ``` ## Output ```scala [error] Macro.scala:15:20: Type argument num...

itype:bug
area:typer
area:metaprogramming:quotes

## Compiler version 3.1.3 ## Minimized code It's four files and a build.sbt - not very minimized, but several of us have been able to reproduce it. (If you can...

itype:bug
itype:crash
stat:needs minimization
area:match-types
regression

This updates mill to the latest stable release 0.10.5.

## Compiler version 3.2.0-RC1 ## Minimized code ```Scala import scala.annotation.experimental import scala.annotation.newMain @experimental @newMain def newHello = println("Hello, World!") ``` ## Output ```scala Warning: there was 1 deprecation warning; re-run...

itype:bug

The format in which the compiler returns code completions is not very well suited for metals. In general signatures/descriptions are returned as plain strings but metals might need to print...

itype:enhancement
area:ide

## Compiler version 3.1.3 ## Minimized code ```Scala class ToString(d:Double) extends AnyVal : transparent inline override def toString():String = s"$d meters" ``` ## Output (click arrow to expand) Jasper-M on...

itype:bug
itype:crash
area:inline
area:extension-methods

If we remove `inline` from `def baz` there is no error. ## Compiler version v3.2.0-RC2 ## Minimized code https://scastie.scala-lang.org/S2Dv4bCfThyJGo6F2JQqqg ```Scala import language.implicitConversions trait Exactly: type Out val value: Out object...

itype:bug
area:inline

the relation between parameters and supplied arguments seems to be inverted

## Compiler version Scala 3.2.0-RC2 ## Minimized example ```scala scala> import language.experimental.fewerBraces scala> val x: Option[Int] = Some(1) | val x: Option[Int] = Some(1) scala> x.fold: val res0: (=> Any)...

itype:bug
area:repl

## minimized code Given a compilation unit: ```Scala package p.q class X { override def toString() = "p.q.X" } ``` Either of these references to `X` should be ambiguous: ```Scala...

itype:bug