Please update language specification to reflect "Changes in Type Inference", "Type parameter inference" section

[unkarjedy]

Link: https://dotty.epfl.ch/docs/reference/changed-features/type-inference.html

Right now it only mentions 2 presentations.
One of them is Scala 3, Type inference and You! by Guillaume Martres (September 2019)
It would be nice to have them in an official specification text form.

---

Differences in type parameter inference are described from here:
https://youtu.be/lMvOykNQ4zs?t=1260

[Gedochao]

cc @sjrd @smarter