bug

bug copied to clipboard

PatMat creates shadowing locals, references to them could not be re-typed

2

Discussed in https://github.com/scala/scala/pull/4033 The following creates two locals named `x2`. The tuple construction uses symbolic references, but could not be re-typed due to shadowing. ```scala scala> class C { |...

scabug

Missing type parameter inference for stable identifier patterns.

8

This is both a report of a defect in the specification and a minor enhancement request for the implementation. GADT-style dependent case analysis works for objects: ```scala scala> trait T[X]...

scabug

False "dead code" warning with throwing parameter default value

2

With `-Ywarn-dead-code` : ```scala Welcome to Scala version 2.11.6 (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_45). Type in expressions to have them evaluated. Type :help for more information. scala> def...

scabug

Java parser/typer rejects import of Java inner class

10

If you have Scala code with an inner class and attempt to use a wildcard import in Java so that you can use that class name unqualified, the Scala compiler...

scabug

```scala trait H[T] class T { def m(): H[_] = { for (f

lrytz

False-negative: class needs to be abstract when inherits java class and interface

10

## Reproduction steps Scala version: 2.13.15 ```java // FILE: I0.java public interface I0 { public void func(A a, T s); } // FILE: I1.java public interface I1 extends I0 {...

XYZboom

Pattern matching & existential type members

3

The following snippet doesn't compile, but should. ```scala sealed trait Outer { type Inner } case object HasInts extends Outer { override type Inner = Int } def id(outer: Outer):...

scabug

shorten types in error messages

1

Compiler errors would be easier to read if they didn't use fully qualified type names. How 'bout a compiler option / scala-ide option to display shorter versions of the types?...

scabug

Implicit resolution bug in scalac (working in dotty)

5

I didn't get an answer on the scala list, and don't see this particular case already on the bug tracker. Then again, i don't really understand why this isn't working,...

virusdave

Collection deserialization fails with cyclic object graph

2

Scala collections use a serialization proxy, which can leak during deserialization of a cyclic object graph. Utility: ```scala object SD { import java.io._, scala.util.chaining._ def serialize(obj: AnyRef) = new ByteArrayOutputStream().tap(b...

lrytz