Open
Description
Right now the reference contains two sections under "Changed Features"
- Changes in Type Checking
- Changes in Type Inference
The first is empty and the second just points to a video of a conference talk by @smarter.
We should either drop these sections or fill them with material. If we fill in material then the topic of target-typed new expressions should go into Changes in Type Inference.