bug

bug copied to clipboard

Add method Map[A, B].mapEntries[B2](f: (A, B) => B2): Map[A, B2]

4

I've found that a constant source of performance issues is the lack of this method in the Map trait: ```scala trait Map[K, V] { def mapEntries[V2](f: (K, V) => V2):...

scabug

Raw types in Java .class files are sometimes not cooked, depending on symbol initialization order

3

## Reproduction steps ```java // J.java abstract class Base { } class Sub extends Base { } class PolyClass { } class J { static void m(Base te) {} }...

retronym

Better tracking of inferred types and constraints for lint analysis

3

```scala Welcome to Scala version 2.11.6-20150309-134842-c11032c6b1 (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_40). Type in expressions to have them evaluated. Type :help for more information. scala> trait T[A] ; class...

scabug

Implicit parameter not resolved from path-dependent type of another parameter’s default value

5

An implicit parameter whose type is a path-dependent type of another parameter that has a default value is not resolved when the default value is used: ~~~ scala trait F[A]...

julienrf

relax ordering restriction on dependent method types

4

motivational examples from test/files/pos/depmet_implicit_oopsla_session_2.scala and neg/depmet_try_implicit.scala ```scala def runSession[S, D](p: S, dp: D)(implicit s: Session[S]#HasDual[D]) = s.run(p, dp) def runSession[S, D](p: S, dp: D)(implicit s: Session[S]{type Dual=D}) = s.run(p, dp)...

scabug

dropExistential insufficient when an existential quantifier is bounded by another

1

The typer substitutes bounded wildcard types for the quantifiers of existential expected types (in non-pattern mode.) Currently, `dropExistential` is implemented in terms of `SubstWildcardMap`. However, as we see below, this...

retronym

specialization assertionerror on overloaded apply in breeze's DenseVector

2

See https://groups.google.com/forum/m/#!topic/scala-internals/gnvcWsmAPaY: ```scala class Test { def foo = { // workaround: val dv: QuasiTensor[Int,Int] = DenseVector[Int]() // QuasiTensor does not have overloaded apply val dv = breeze.linalg.DenseVector[Int]() dv.apply(0) //...

scabug

Compiler exception with collection of classes that have an object field

2

Attempting to compile (note: if the seq is explicitly typed it compiles) ```scala trait Foo { val bar: Any } class Foo1 extends Foo { object bar } class Foo2...

scabug

Avoid warning if method is marked unused. https://github.com/scala/scala/blob/v2.13.14/src/compiler/scala/tools/nsc/backend/jvm/BCodeSkelBuilder.scala#L99 Avoid warning if parameter type is singleton. https://github.com/scala/scala/blob/v2.13.14/src/compiler/scala/tools/nsc/ast/TreeDSL.scala#L132 ## Problem Probably all unused warnings should be silenced by unused enclosing definition, much...

som-snytt

SeqMap.keys != VectorMap.keys (with identical keys) for sizes 0 to 4

8

## Reproduction steps Shows up in Scala 2.13.13 and Scala 3.3.3 (which makes sense as this is the behavior of the standard library) ```scala import scala.collection.immutable._ val pairs = List.tabulate(6)(i...

jackkoenig