bug

bug copied to clipboard

Implicit search does not guide type inference to find a supertype

1

```scala trait R[T] case class A(i: Int) object A { implicit object RA extends R[A] } class B(i: Int) extends A(i) def foo[T, TT >: T](x : T)(implicit ev: R[TT])...

scabug

Unexpected pattern match compile error for generic case class

1

The following code fails to compile for scala 2.12.6 and 2.13.0-M5: ```scala trait Is[A] case object IsInt extends Is[Int] case object IsString extends Is[String] case class C[A](is: Is[A], value: A)...

grindvoll

optimize Vector concatenation (Vector ++ Vector)

17

currently scala.collection.immutable.Vector.++ simply inherits its implementation from a supertrait (through the stubs added in r24227), so if you concatenate two vectors, it doesn't take advantage that that both are the...

scabug

clarify leading infix example

1

## Questions are not bug reports Even if the bug is a head-scratcher? ## Reproduction steps Scala version: 2.13.13 vs 3.4.1 ```scala class C { def ??? (i: Int): Int...

som-snytt

Enable multi existential type variable can be override

3

This issue is from [How to override value when value types have a different number of type parameters? ](https://stackoverflow.com/questions/49226928/how-to-override-value-when-value-types-have-a-different-number-of-type-parameter/49233001#49233001), I have tried to investigate issue and found: when compare **ExistentialType**...

chengpohi

publish bootstrapping sources from `library-aux` in `-sources.jar` artefacts

2

This is needed to show documentation of definitions inside those classes inside IDE. See https://youtrack.jetbrains.com/issue/SCL-22167 (with comments) The sources are located here: https://github.com/scala/scala/tree/2.13.x/src/library-aux It's already done for scala docs—they are...

unkarjedy

`NumericRange.length` fails for wide`Long` ranges.

5

## Reproduction steps Scala version: 2.13.4, 2.13.8, 2.13.12, 2.13.13 ```scala scala> import scala.collection.immutable.NumericRange import scala.collection.immutable.NumericRange scala> val r = NumericRange(1L, Long.MinValue, -1L) val r: collection.immutable.NumericRange.Exclusive[Long] = NumericRange 1 until -9223372036854775808...

AminMal

Seq(1).indexOfSlice(Nil, -2)==-2

17

## Reproduction steps Scala version: 2.13.10 Expected: 0, same as in `Vector`. What's worse, `Vector(1).indexOfSlice(List(1), -2) == -2`, too (substitute any `Seq` for `Vector`).

noresttherein

scala runner renames main object

3

## Reproduction steps Scala version: 2.13.12 ```scala ➜ snips cat mainly.scala class C(private val c: Int) object C { def main(args: Array[String]): Unit = { println(new C(42).c) } } ➜...

som-snytt

JavaParsers doesn't support `JEP 445: Unnamed Classes and Instance Main Methods`

4

## Reproduction steps - Scala 2.13.12 - JDK 21 - https://openjdk.org/jeps/445 - https://github.com/xuwei-k/Scala-JEP-445/commit/c96fe40572021d937935d448026e7b2cdff0dca1 - https://github.com/xuwei-k/Scala-JEP-445/actions/runs/6268842307/job/17024415920 ### `A.java` ```java void main() { System.out.println("hello"); } ``` ### `B.scala` ```scala class B ```...

xuwei-k