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.8.1-RC1-bin-20251205-cd32c6f-NIGHTLY ## Minimized code ```scala def example(a: AnyRef^, b: AnyRef^, c: AnyRef^) = abstract class Root: this: Root^{a,b} => class Sub extends Root: val f: AnyRef^ =...

itype:bug
area:experimental:cc

* Pass until classes.md * Also fixes some typos and annoying scaladoc warnings due to wrong URLs. I'm going to salami-slice subsequent language ref PRs to make reviewing palatable.

old style conversion so no language import is needed. When `into` is stabilized, then possibly `Factory` can be converted to an `into` trait, and the conversion turned into the new...

stat:feature freeze

for use with e.g. Future.sequence, LazyZip, Random.shuffle fixes https://github.com/scala/scala3/issues/19229

stat:feature freeze

There seems to be something strange happening if `scala.Predef.assert` is explicitlly imported. Issue spotted by OpenCB in `iltotore/iron`. Was spotted after applying patch to replace no longer allowed `import scala.runtime.stdlibPatches.assert`...

itype:bug
stat:needs minimization
area:infer

Example here is taken from "Hands-on Scala Programming" by @lihaoyi Problem: if you use a disjoint pattern, then the error is basically delayed until after errors of using bindings inferred...

itype:bug
area:reporting
area:pattern-matching
better-errors

Scala 3.7.3 with `-explain` compiler flag Use the code example below: ```scala class A // // Strange errors // def bar(): String = null bar: (() => String) //OK bar...

itype:enhancement
area:reporting
area:typer
better-errors

Also: enforce that mutable fields can only be declared in `Stateful` classes, unless they are annotated with `untrackedCaptures`.

## Compiler version 3.7.4 ## Minimized code ```scala ➜ snips cat predef.scala package p object MyPredef { type Unit = scala.Unit } ``` ```scala ➜ snips cat no-unit-main.scala //> using...

itype:bug
area:erasure

- TODO: Write the specification while we are on it. Closes #21304