bug

bug copied to clipboard

Type error when outer scope name is shadowed by inheritance

5

## reproduction steps ```scala Welcome to Scala 2.13.1 (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_181). Type in expressions for evaluation. Or try :help. scala> def lazyMap[T, U](coll: Iterable[T], f: T...

counter2015

## Reproduction steps ```scala class C { def test(a: Any, b: Any)(byname: => Any)(d: AnyRef) = 0 val x = test(b = "", a = "")(null)(null) } ``` ## Problem...

retronym

Partest red X is bleached during updates

1

## Reproduction steps Scala version: 2.13.10  ## Problem They are written red but turn white, either by partest or by sbt progress update. Some Xs at the right of...

som-snytt

Unexpected "scrutinee is incompatible with pattern type" in for-comprehension

5

The following code ```scala import zio.prelude.Subtype object PreludeForComprehensionIssue extends App { object ArbitrarySubType extends Subtype[String] type ArbitrarySubType = ArbitrarySubType.Type val subTypeInstance: ArbitrarySubType = ArbitrarySubType("I am the sub type instance") val...

DaniRey

## Reproduction steps Scala version: 2.13.10 ```scala sbt.ForkMain$ForkError: org.junit.ComparisonFailure: expected: but was: at org.junit.Assert.assertEquals(Assert.java:117) at org.junit.Assert.assertEquals(Assert.java:146) at test.scala.sys.process.ProcessTest.$anonfun$t10823$7(ProcessTest.scala:97) at test.scala.sys.process.ProcessTest.$anonfun$t10823$7$adapted(ProcessTest.scala:97) at test.scala.sys.process.ProcessTest.$anonfun$t10823$4(ProcessTest.scala:97) at test.scala.sys.process.ProcessTest.$anonfun$t10823$4$adapted(ProcessTest.scala:92) at test.scala.sys.process.ProcessTest.$anonfun$t10823$1(ProcessTest.scala:92) at test.scala.sys.process.ProcessTest.testily(ProcessTest.scala:24) at test.scala.sys.process.ProcessTest.t10823(ProcessTest.scala:92)...

som-snytt

Spurious SAM Eta expansion warnings for non-Java interfaces

5

I'm getting spurious warnings for the following example code with Scala 2.13 & `-Xsource:2.13`: ```scala object example { trait ModuleBase trait Binding trait ModuleMake[T example.X, [warn] even though trait ModuleMake...

neko-kai

`StringBuilder` change in 2.13.9 (`append` returning `this.type`) exposes poor interaction between eta-expansion and overloading

4

## Reproduction steps Scala version: 2.13.9 ```scala Welcome to Scala 2.13.9 (OpenJDK 64-Bit Server VM, Java 1.8.0_322). Type in expressions for evaluation. Or try :help. scala> :paste // Entering paste...

LuciferYang

Unary function with argument of type `Unit` is not type-safe

9

## reproduction steps using Scala `2.13.6`, ```scala scala> val f = (a: Unit) => println(s"Received $a") val f: Unit => Unit = $Lambda$2279/411876574@4ee6291f scala> f("foo", "bar", "baz") Received () ```...

otto-dev

Wnonunit-statement must specify match branch, etc

1

## Reproduction steps Warning on a large match, where one of the cases has an interesting result, doesn't show which case(s) is interesting. ## Problem It's not usable on matches...

som-snytt

Missing @tailrec error with recursive call targeting supertype

7

The following outputs an error as expected: ```scala import scala.annotation.tailrec trait Outer { self => def hi(cond: Boolean): Boolean trait Inner extends Outer { @tailrec final def hi(cond: Boolean): Boolean...

smarter