Allan Renucci

Rename subtractAll to removeAll

8

In the 2.13 collection library, if you want to delete multiple elements from a mutable collection, the operation is called `subtractAll`. In `java.util.Collections`, it is called `removeAll`. I propose to...

Scastie code snippet for dotty.epfl.ch

5

Similarly to [scala-lang](https://contributors.scala-lang.org/t/contest-scala-lang-org-frontpage-code-snippet/1141), we would like to add a Scastie embedding on the front page of [dotty.epfl.ch](http://dotty.epfl.ch/). Please share what you think should be the content of this snippet. Here...

Meta-issue: IDE improvements

1

Testing Infrastructure: ---------------------- - [x] Test that go-to-definition, renaming, completion, … work @nicolasstucki - WIP PR: https://github.com/lampepfl/dotty/pull/3766 - May be handled by making a LSP client for testing based on...