Patterns of empty types

[nikomatsakis]

Metadata
Owner(s)	@Nadrieril
Team(s)	compiler, lang
Goal document	2024h2/Patterns-of-empty-types

Summary

Introduce an RFC for never patterns or other solutions for patterns involving uninhabited types.

Tasks and status

• Author RFC (@Nadrieril)
• Implementation (@Nadrieril)
• Standard reviews (compiler )
• Discussion and moral support (lang )
• Author stabilization report ()

[nikomatsakis]

This issue is intended for status updates only.

For general questions or comments, please contact the owner(s) directly.

[Nadrieril]

Here's the status we're at today, at the start of the goal period:

• The exhaustive_patterns feature has been usable for years but was deemed not-stabilizable-as-is; I aim to deprecate it as part of this goal;
• The min_exhaustive_patterns feature has been proposed, implemented, and approved for stabilization. Stabilization was blocked on improving lints; this is about to be resolved;
• My proposal for never patterns got sufficient approval to enable experimentation. The unstable feature is now in a usable state, though not complete;
• I have an RFC draft for never patterns lying around. It needs to be fleshed out and updated in light of min_exhaustive_patterns being stabilized, after which we can start the RFC process.

[Nadrieril]

Update since last time:

• The min_exhaustive_patterns feature has been stabilized, it will be accessible in 1.82.0;
• The stabilization caused issues because we went from requiring some match arms to warning against them. There was some discussion on the topic, and it was decided to revert the linting behavior for now and find a solution that has a smoother transition.

Next steps:

• Backport the approved linting change to beta;
• Implement whatever linting mitigation we end up deciding on;
• Finish writing up the never patterns RFC.

[Nadrieril]

Update since last time:

• We reverted the linting behavior until an unspecified date

Next steps:

• Decide what we want to do with linting;
• Write the never patterns RFC.