Summary

Discuss some of the background on never type design and talk about potential next steps.

Background reading

• https://rust-lang.github.io/never-type-initiative/ has a few pages here
• never type stabilization #60 has some history

TBD:

• backwards/forwards compat hazards with each approach

About this issue

This issue corresponds to a lang-team design meeting proposal. It corresponds
to a possible topic of discussion that may be scheduled for deeper discussion
during one of our design meetings.