Lukas Rytz

don't extrapolate existentials in later phases

1

idea by @retronym to address https://github.com/scala/bug/issues/12488

Support for external annotations

8

This change adds support for defining external annotations, i.e., for adding annotations to classes on the classpath. ### Use case External annotations can be used for low-overhead API-level linting by...

False positive when eliminating package-private class / object

1

Removing a package private class or object should be allowed. Test case in https://github.com/lightbend/mima/compare/main...lrytz:package-private-tests?expand=1

False positive for mixin forwarders of package private trait methods

1

Mixin forwarders for `private[p]` methods should not be reported Test case in https://github.com/lightbend/mima/compare/main...lrytz:package-private-tests?expand=1

Unlike scala-library.jar, the scala compiler is not binary compatible between minor releases. Therefore, compiler plugins should in principle be released with full cross versioning, and a new release is needed...

Add option to use javap instead of asm

2

ASM desugars certain details when disassembling classfiles, for example it eliminates redundant line numbers: ``` $ javap -v -cp a C ... public void t(); ... LineNumberTable: line 2: 0...

Inliner crash on Java 17 when using `-release`

1

```scala object crash { def main(args: Array[String]): Unit = { val algo = "HmacSHA1" val charset = java.nio.charset.StandardCharsets.UTF_8 val key = "totally secret key".getBytes(charset) val value = "totally real value".getBytes(charset)...

Java 16+ (before that, inner classes like `U` below were not allowed to declare static members. the restrictions were lifted as part of https://openjdk.java.net/jeps/395). ```java public class C { public...

Generic signature for wildcards changed in 2.13.7

19

```scala trait T[+X] { def x: X } class C { type TT[+X] = T[X] def it(): TT[_] = new TT[String] { def x = "" } } ``` ```...