bug

bug copied to clipboard

support Scala 3.2.0 in TASTy Reader

14

It will have a new tasty minor version so will be rejected by nsc.

bishabosha

Allow named and default arguments in pattern matching

18

Named and default arguments have been introduced in Scala 2.8, and were outlined in [SIP #1](https://docs.scala-lang.org/sips/named-and-default-arguments.html). An important scenario has been overlooked in the SIP, which is to define interaction...

scabug

scalac reports error on valid Java class: illegal cyclic reference involving type T

17

When compiling a mix of Java and Scala files, scalac will report an error on otherwise valid Java files. To reproduce, create 2 files: Foo.java: ```java public class Foo

scabug

Type aliases fool the check for non-finitary class graph

6

## Reproduction steps Scala version: 2.13.8 ```scala object NonFinitary { trait BadJoke[V, +T] trait Root[V] extends Fog[V] //extends BadJoke[V, Another[V]] trait Another[V] extends Root[Option[V]] type Fog[V] = BadJoke[V, Another[V]] }...

noresttherein

annotations and [package|regular] objects

11

I was hoping to deprecate a package object ("what? already?") since the whole package has moved and that would be the cleanest way to deprecate the forwarding stubs, but: ```scala...

scabug

TASTy error on irrelevant stale files

2

## Reproduction steps Scala version: 2.13.8 ```scala ➜ scalac -d /tmp -Xlint t12591.scala error: error while loading A, Missing dependency 'Add -Ytasty-reader to scalac options to parse the TASTy in...

som-snytt

protected class definition is visible in inner scopes via import statement

4

related https://youtrack.jetbrains.com/issue/SCL-20190 might be related: https://github.com/scala/bug/issues/11554 ## Reproduction steps ```scala ThisBuild / version := "0.1.0-SNAPSHOT" ThisBuild / scalaVersion := "2.12.15" lazy val root = (project in file(".")) .settings( name :=...

unkarjedy

StackOverflowError in typer when an existential type is passed to unapply

1

## Reproduction steps Ok, this little pos is a bit complex: ```scala trait POS[O] { type Value } trait BigPOS[V, O] extends POS[O] { type Value = V } trait...

noresttherein

False warning for an unused type alias if its member type is used

1

## Reproduction steps Scala version: 2.13.7 ```scala class Private { private type Curry[A] = { type T[B] = Either[A, B] } def m2[T[A]] :Unit = () m2[Curry[Int]#T] } ``` ##...

noresttherein

## Reproduction steps Scala version: 2.13.7 ```scala type Fixed[F] >: F { type T >: Fixed[F]

noresttherein