Could the release notes be changed to say "visibly uninhabited"? At first I got scared that accepting more code because of uninhabited types would enable API breakages and I had to read through comments to find out it's not the case. I believe it's a very important thing to know.
I think we'd be happy to accept a PR with any clarifications, though at this point it won't make it into the actual release (and likely won't land in time on master either). I think given that the PR's title (clicking through) and description both say this it's probably okay as-is, though of course we can always do better.
Otherwise we'll likely pick it up in a few weeks with the next round of release notes (for 1.63).
Hmm, I guess putting the emphasis and explanation into the PR description would be better. I had to scroll down to find out. Also missed the word "visible"