0.3.0-RC1

Notable Changes

The main portion of this release is constituted of bug fixes, refactorizations and stability work. Most notably the release includes several stability fixes for the dotty IDE. Some highlighted PRs are:

• IDE bug fixes: #2986, #2932, #2885, #2876, #2870, #2872
• Making erasure pass Ycheck, #2927

Contributors

Thank you to all the contributors who made this release possible 🎉

According to git shortlog -sn --no-merges 0.2.0-RC1..0.3.0-RC1 these are:

   138  Martin Odersky
    34  Nicolas Stucki
    12  Guillaume Martres
     7  Dmitry Petrashko
     5  liu fengyun
     4  Felix Mulder
     2  Lorand Szakacs
     1  Lanny Ripple
     1  Georg Schmid
     1  Serhii Pererva
     1  Max Ovsiankin
     1  Lukas Ciszewski

Reporting Bugs

If you encounter a bug, please open an issue! 🙏