类型推导的变化

更多信息请参见这两个演示文稿：

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

---