Yichen Xu

Match types fail `-Ycheck` with GADT constraints

5

## Compiler version `3.2.0-RC2` (`main` branch) ## Minimized code ```Scala trait Foo case class Bar[A, T val xs0: *:[a, T] = ??? val t0: a = xs0.head[(a *: T)] val...

Adding support of path-dependent GADT reasoning

11

Previously, GADT reasoning only works on type parameters. This PR supports GADT reasoning for path-dependent types (that is, type members addressed from stable paths). It mainly makes the following two...

Unsound application of boxed functions

6

## Compiler version `3.1.3-RC4` ## Minimized code ```Scala class Unit object unit extends Unit type Top = {*} Any type LazyVal[T] = {*} Unit -> T case class Foo[T](x: T)...

Cleanup retains annotations in all inferred type trees

3

fixes #20272

Orphan type parameter references crash pickler in capture checked programs

2

## Compiler version `main` ## Minimized code ```Scala import language.experimental.captureChecking trait Iterable[T] { self: Iterable[T]^ => def map[U](f: T => U): Iterable[U]^{this, f} } object Test { def assertEquals[A, B](a:...

Widen unsafe reach capabilities instead of erroring

1

Fixes #20204

Add the -Wall option that enables all warnings (Plan B)

2

alternative to #20545

fixes #18559 This PR adds the `-Wall` option, which enables all warnings when it is set. Note that when `-Wunused` is not set (empty), setting `-Wall` is equivalent to passing...

fixes #21507