bug

bug copied to clipboard

Stack overflow in ref-check of a method-local type alias refining a contravariant type parameter of the enclosing class

6

## Reproduction steps In Scala 2.13.8 ```scala type Type[T] = T { type X = Type[T] } ``` Another case: ```scala trait Contra[-F] { def method() :Unit = { type...

noresttherein

## Reproduction steps ```scala Welcome to Scala 2.13.8 (OpenJDK 64-Bit Server VM, Java 17.0.2). Type in expressions for evaluation. Or try :help. scala> class C { implicit override def toString...

som-snytt

Overriding java methods containing varargs gives warning

6

## Reproduction steps Scala version: 2.13.8 Override `java.nio.file.Path` as follows... ```scala import java.nio.file.Path import java.nio.file.FileSystem import java.net.URI import java.nio.file.LinkOption import java.nio.file.{WatchKey, WatchService} import java.nio.file.WatchEvent.{Kind, Modifier} class FooPath extends Path {...

Arthurm1

-Wunused:locals does not produce a warning for simple values

5

## Reproduction steps Scala version: 2.13.8 ``` object Example extends App { def unusedLocal = { val a = 1 2 } } ``` with the compiler option ``` "-Wunused:locals"...

gatisnolv

overloading curried function in Scala 2?

3

```scala class Test: def foo(x: String)(y: Int): Int = ??? def foo(x: String)(y: Double): Int = ??? ``` This is allowed in Scala 3 , should this be ported to...

He-Pin

StackOverflow in implicit search (getParts)

10

```scala trait Cmp[T] { def compareTo(o: T): Int } class K[T] extends Cmp[K[_ >: T]] { def compareTo(that: K[_ >: T]): Int = ??? } object Tst { (new K[String]).compareTo(new...

adriaanm

Inliner crash on Java 17 when using `-release`

1

```scala object crash { def main(args: Array[String]): Unit = { val algo = "HmacSHA1" val charset = java.nio.charset.StandardCharsets.UTF_8 val key = "totally secret key".getBytes(charset) val value = "totally real value".getBytes(charset)...

lrytz

Warn when boxing value classes

7

Most of us know that when you create a value class, there are cases in which the compiler will box/instantiate them. The specific rules are much less known than the...

japgolly

Misleading NPE from inner class with null outer pointer

4

This snippet fails with a NPE as expected: ``` class A { class B // 1 } val a: A = null val b = new a.B // 2 ```...

scabug

Make the compiler doc tool work on 2.13

8

The doc data task runs under sbt's 2.12 regime. Either get the task to fork with the build product, or just restore the subproject. Also, restore other manual tweaks to...

som-snytt