bug

bug copied to clipboard

support name-based extractors with existential-returning unapply/unapplySeq

1

See the pending test in: https://github.com/scala/scala/commit/3e9e2c65a6a0144edbf86949295e776c8cdf2e67 Follow up to #8128

scabug

ScalaDoc search doesn't always find type aliases?

7

(Apologies if this is the wrong place to mention this enhancement request.) I spent about ten minutes discovering this one the hard way yesterday: * Go into [the 2.12 ScalaDocs](http://www.scala-lang.org/api/2.12.2/scala/index.html)...

jducoeur

2.13 regression: false negative, missing unreachable warning after extractor returning `Some`

1

both Scala 2.12.20 and Scala 3.6.3 give an unreachable warning but Scala 2.13 does not: ```scala trait Tree object Tree { def unapply(tree: Tree): Some[Int] = ??? } object Test...

SethTisue

"unreachable code" false-positives, "match not exhaustive" false-negative warnings when matching on HKTs

8

[scalafiddle](https://scalafiddle.io/sf/lZVTgxB/0); repros on 2.12.8 and 2.13.0 ```scala sealed trait A[+T] case class A1[+T](t : T ) extends A[T] case class A2[+T](t1: T, t2: T) extends A[T] sealed trait B[+T] {...

ryan-williams

CompilerControl.askTypeAt(pos) should return the chain of parents containing pos, and not only the innermost tree

2

Based on a [this discussion](https://github.com/scala/scala/pull/1251/files#r1573933) related to both #5064 #8125, it was suggested by Iulian that `CompilerControl.askTypeAt(pos)` would be changed so that it returns the whole chain of parents (with...

scabug

Invalid Java signature emitted for intersection types involving type variables

1

According to [JLS 4.4](https://docs.oracle.com/javase/specs/jls/se8/html/jls-4.html#jls-4.4), the type bounds of a type variable must either be a single type variable, or an intersection of a class or interface followed by zero or...

jroper

anonymous class automatic serialVersionUID insertion

5

Anonymous class can derive from serializable base class (either via java.io.Serializable or @serializable). Currently, there is no way to associate a serialVersionUID with the anonymous class. ```scala @serializable trait Foo...

scabug

StackOverflow error in compiler involving type alias, existential, higher kinds

5

```scala class TypeTest { type Foldable[X[_]] = X[_] def forComp[Coll[X]

scabug

It *appears* that if you have three ambiguous implicits, and `@implicitAmbiguous` is on the "third", the custom error message will not be noticed. @Jasper-M suggested a documentation fix, because of...

Blaisorblade

Existential type exhaustiveness

1

It seems that type parameter bounds on existential types are not used to enforce the exhaustiveness of pattern matching. This causes errors at runtime if you forget to supply a...

scabug