Notable Changes

• Fix #10747: Raise type error on unreducible match type #12768
• Set typer phase after InteractiveDriver.run #13530
• 3.1.0 line is no longer bootstrapped by the nightly build of the compiler

Contributors

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

According to git shortlog -sn --no-merges 3.1.0-RC1..3.1.0-RC2 these are:

     9 Olivier Blanvillain
     3 Jamie Thompson
     1 Andrzej Ratajczak
     1 Nicolas Stucki
     1 Tomasz Godzik

Reporting Bugs

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