bug

bug copied to clipboard

Tail recursion behaviour is unspecified

6

The word "tail" appears only twice in the SLS, both as method names in example 5.3.3. So it appears that the current (rather delicate!) behaviour of tail recursion is in...

scabug

Fail to resolve overloaded method when type inference is required

8

Here is a snippet to illustrate the problem: ```scala class Foo[A] { def compose(a: Foo[A]): Foo[A] = new Foo[A] def compose(b: Bar[A]): Bar[A] = new Bar[A] // non overloaded method...

scabug

Strange type inference involving "with" when code is used from a library

5

## reproduction steps using Scala (2.12.11, 2.13.4), The following code defined inside a library: ```scala trait OtherType class Foo { def bar[T](t: T): T with OtherType = ??? } ```...

jdrphillips

AbstractMethodError when inheriting trait from java abstract class and referencing `val` from the trait

5

## reproduction steps using Scala (2.13.6), ```scala trait ScalaTrait { def foo1: String def foo2: String = "default foo value 2" val val1: String val val2: String = "default val...

unkarjedy

Mixin forwarders can illegally access package-private methods

2

```scala package p package u { trait T { private[u] def f = 1 } } package v { class C extends u.T } ``` generates, after mixin: ``` [[syntax...

lrytz

Compiler crasher with named-args + implicit

1

## Reproduction steps Scala version: 2.12.17, 2.13.8 ```scala scala> class C(a: Int, b: Int)(c: Int)(implicit d: DummyImplicit) defined class C scala> def i = 1; class D extends C(b =...

retronym

Extension of sealed class on different line should be disallowed in REPL (in lieu of reasonable semantics)

7

## Reproduction steps Scala version: 2.13.8 and 2.11.12 ~~Example 1~~ [INVALID] ```scala sealed trait MyTrait { def a: Int } case class MyClass ( a: Int ) extends MyTrait object...

pera

Invalid "Pattern type is incompatible with expected type"

5

The compiler rejects code which should be perfectly valid. Using type ascription to upcast the value is a workaround for this. ```scala sealed trait Key case object SilverKey extends Key...

scabug

Macros should support untyped parameters

3

Sometimes it's necessary to pass parameters to macros untyped (e.g. if a parameter is a closure that refers to variables that are introduced by a macro). However, current implementation doesn't...

scabug

Macros should support named/default parameters

9

(No description for SI-5920.)

scabug