bug

bug copied to clipboard

Optimizer preserves tuple for match failure case

3

## Reproduction steps Scala version: 2.13.12 ```scala def t8790(i: Int, j: Int) = (i, j) match { case (42, 27) => i+j //case _ => ??? } def slow(x: Int,...

som-snytt

`case true => case false =>` should be `case true => case _ =>`

2

## Reproduction steps Scala version: 2.13.12 under `-opt:local` for basic hygiene, an exhaustively enumerated match should be the same as the match with a default wildcard case. ```scala scala> def...

som-snytt

## Reproduction steps Scala version: 2.13.11 ```scala class C { private[C] def f = 42 } class D extends C { override def f = 17 // incorrectly disallowed by...

som-snytt

## Reproduction steps * 2.13.11 and 2.12.18 Reproduction is in this project: https://gitlab.com/coreyoconnor/multiple-macro-annotation-issue The reproduction uses `sbt run` to demo the failure. The failure is not limited to `sbt run`....

coreyoconnor

The types for `Set` and `Map` are noisy in REPL

1

## Reproduction steps Scala version: 2.13.11 ```scala Welcome to Scala 2.13.11 (OpenJDK 64-Bit Server VM, Java 20.0.1). Type in expressions for evaluation. Or try :help. scala> Seq(42) val res0: Seq[Int]...

som-snytt

## Reproduction steps Scala version: 2.13.11 ```scala //positioned.getAndRemoveAttachment[NamePos].foreach(att => ts.head.updateAttachment[NamePos](att)) //positioned.getAndRemoveAttachment[NamePos].foreach(ts.head.updateAttachment) // infers Any import reflect.ClassTag class C { def f[A: ClassTag]: Option[A] = None def g[A: ClassTag](a: A): this.type...

som-snytt

## Reproduction steps Scala version: 2.13.12 ```scala ➜ scala git:(issue/12851-namepos) cat test/files/neg/t12851b/T_1.scala trait T1 { def f: Int def g(): Int } trait T2 { def f() = 42 def...

som-snytt

Scaladoc loses documentation on whitebox macro expansion

3

## Reproduction steps Scala version: 2.13.11 Hit this while migrating one of the company's internal tools to 2.13.11 from 2.11.x (asking for trouble, I know). The unit test to reproduce...

dbarvitsky

Mechanism for avoiding duplication of materialized instances

1

Materialization is neat, but, as any macro-based technique, is limited to local tree rewriting. This is typically not a problem for vanilla macros, but in case of materialization this can...

scabug

eta expansion of type constructors doesn't consider the prefix for type param bounds

7

Shouldn't we rewrite infos of tparams when eta-expanding HK types? ```scala scala> trait T[A] { type F[X

scabug