bug

bug copied to clipboard

2.13.8: @uncheckedVariance is ignored in partially applied types

5

## Reproduction steps Scala version: 2.13.8, full example on Scastie: https://scastie.scala-lang.org/g1aCjox4QBylJgfllSoBAQ ```scala trait BIO[F[+_, +_]] trait EitherT[F[_], E, A] def makeWithNativeTypeProjection[F[_]] = new BIO[({type L[+E, +A] = EitherT[F, E @uncheckedVariance,...

mucaho

case class synthetic method generation when abstract method declaration is present

1

## Reproduction steps Scala version: 2.13.8 ```scala trait MapI[C] { def i: Int def s: String def copy(i: Int = this.i, s: String = this.s): C def mapI(i: Int): C...

peter-empen

## Reproduction steps ```scala object repro { trait ScenarioParam { type Builder null) ^ test/files/pos/stabilizer-cyclic.scala:43: error: cyclic aliasing or subtyping involving type Builder stabilizer.m1(x => null) ^ test/files/pos/stabilizer-cyclic.scala:46: error: cyclic...

retronym

warn on implicit def without explicit result type

9

The following code snipet : https://gist.github.com/1427587 does not compile. ```scala import java.util.Date trait TDate trait TT[A1,T1] trait TTFactory[F,G] { def create(f: F) : TT[F,G] def sample: F } object Impls...

scabug

## Reproduction steps ```scala ➜ ~ skala -Xsource:3 Welcome to Scala 2.13.9-20220720-072233-0771b75 (OpenJDK 64-Bit Server VM, Java 18.0.1.1). Type in expressions for evaluation. Or try :help. scala> class C {...

som-snytt

No implicit view available from A => B despite having one in scope

2

## Reproduction steps Scala version: 2.13.8 ```scala sealed trait ImplicitlyStable[A, +B] object ImplicitlyStable { implicit def convertibleToStable[A, B](implicit aToB: A => B, bToB: ImplicitlyStable[B, B] ): ImplicitlyStable[A, B] = ???...

steinybot

Incorrect diverging implicit failure using type projects in scala 2.13

10

## Reproduction steps Scala version: 2.13.8 (But I think all scala 2.13 releases have this issue) ```scala trait Base { type T def value: T } object Base { implicit...

eejbyfeldt

IterableOnceOps.sum creates multiple iterators

6

## Reproduction steps Scala version: 2.13.6 ```scala val someSeq = Seq(1).toSeq for (i Random.nextBoolean()).sum) } ``` The above is very likely to produce a stack trace like this: ``` java.lang.UnsupportedOperationException:...

srdo-humio

ArrayBuilder should use smart sizing from ArrayBuffer

11

## References Follow-up to https://github.com/scala/bug/issues/12464 ## Problem `ArrayBuilder` doesn't attempt smart resizing as the size grows large. It still just tries naive doubling of size. When user offers a `sizeHint`,...

som-snytt

Compilation order triggers appearance of unexpected annotations on class members

13

Having the following project structure ``` . ├── README.md ├── build.sbt ├── core │   └── src │   └── main │   └── scala │   ├── Main.scala │   ├── bar │   │  ...

danielleontiev