Document type inference changes from Scala 2 regarding `Nothing`

[griggt]

See #9842 (comment)

The current documentation on changes in type inference is empty.

[smarter]

It's described in my talk, which could be linked from that page: https://www.youtube.com/watch?v=lMvOykNQ4zs