Changes in Type Inference

For more information, see the two presentations

• Scala 3, Type inference and You! by Guillaume Martres (September 2019)
• GADTs in Dotty by Aleksander Boruch-Gruszecki (July 2019).