bug

bug copied to clipboard

After erasure, the tailcalls special _$this variable is ill-typed when in a trait with a self-type

1

Not sure this is worth reporting, but it caused some headaches in Scala.js: https://github.com/scala-js/scala-js/issues/3058 (with a wrong fix in https://github.com/scala-js/scala-js/pull/3059) then https://github.com/scala-js/scala-js/issues/3267 (with the "proper" fix in https://github.com/scala-js/scala-js/pull/3272). We'll need...

sjrd

Compiler hangs on code involving type projections and upper and lower bounds

2

The following hangs the compiler: ```scala trait Data { self => type Type >: self.type } trait Eq[Type

scabug

Add intersectWith, unionWith, diffWith to Traversables, Maps

2

Functions intersectWith(), unionWith(), diffWith(), or similar names, should be added to generic Traversables or at least to Maps. Note that IntMap and LongMap already have intersectionWith() and unionWith(). The name...

scabug

Exhaustive pattern matching is found non-exhaustive for anonymous class

2

The following two snippets must live in different files. First a sealed `Base` hierarchy. ```scala sealed abstract class Base sealed trait A extends Base object A { case object Root...

scabug

AbstractMethodError with separate compilation of subclass of trait containing inner class

6

This bug only occurs when separately compiling the two files: File 1: ```scala trait TypeHints { def + (hints: TypeHints): TypeHints = CompositeTypeHints() private[TypeHints] case class CompositeTypeHints() extends TypeHints }...

scabug

Intermittent spurious override warning with macro definition and implicit parameter list

2

When I compile (with sbt 0.11.2) the code in the following GitHub repo: https://github.com/paulbutcher/scala-macro-bug I **sometimes** get: ``` [error] /Users/paul/scala/foo/src/main/scala/Base.scala:2: overriding value factory in trait Mock of type c.Expr[MockFactoryBase]; [error]...

scabug

diverging implicit with context bounds

2

The order of implicit parameters matters during use site-inference. The method definitions below successfully compile. Actually using y and z yields a compile-time error with message: "diverging implicit expansion for...

scabug

java.lang.NullPointerException: Cannot invoke "scala.reflect.internal.Types$Type.params()" because the return value of "scala.reflect.internal.Trees$Tree.tpe()" is null

2

## Reproduction steps Scala version: 2.13.15; 2.13.16 ```scala package com.acme.someproject.somemicroservice.projections.impl import scala.concurrent.Future trait Handler[Envelope] { def process(envelope: Envelope): Future[Unit] } class CopyScenarioEventsProjectionHandler( managerServiceIn: ServiceA, assetServiceIn: ServiceB, ) { } trait...

domdorn

Spurious illegal premature access to the unconstructed `this` error when using local methods inside a by-name closure in super-class constructor parameter

1

## reproduction steps Minimized example: ```scala package example import scala.util.Try class X(a: Any) final class XImpl extends X({ def res = Try(helper()) def helper() = () res }) ``` ##...

neko-kai

Re-engineer Maps with defaults

12

The current semantics of `.withDefault` and `.withDefaultValue` are tricky: there's no way to know whether `.apply(key)` will return a value or Nothing. `.get(key)` will return `Some(value)` if explicitly contained in...

scabug