# \[Idea/Pre-Pre-RFC\] Additional exhaustiveness checking

**URL:** https://internals.rust-lang.org/t/idea-pre-pre-rfc-additional-exhaustiveness-checking/23972
**Category:** language design
**Created:** [February 4, 2026, 7:56pm UTC](https://internals.rust-lang.org/t/idea-pre-pre-rfc-additional-exhaustiveness-checking/23972 "2026-02-04T19:56:37Z")
**Posts on this page:** 1
**Showing post:** 3

<div class="post-metadata">

### Author: ![mhaeuser](https://sea2.discourse-cdn.com/flex002/user_avatar/internals.rust-lang.org/mhaeuser/32/13785_2.png) [@mhaeuser](https://internals.rust-lang.org/u/mhaeuser)
#### Post date: [February 4, 2026, 10:59pm UTC](https://internals.rust-lang.org/t/idea-pre-pre-rfc-additional-exhaustiveness-checking/23972/3 "2026-02-04T22:59:25Z")

</div>

@dlight This? [Doubly-exhaustive match statement](https://internals.rust-lang.org/t/doubly-exhaustive-match-statement/23716)

---

_[View the full topic](https://internals.rust-lang.org/t/idea-pre-pre-rfc-additional-exhaustiveness-checking/23972)._