Skip to content

Panic for else on exhaustive sealed when#439

Closed
tjpalmer wants to merge 3 commits into
mainfrom
when-exhaustive
Closed

Panic for else on exhaustive sealed when#439
tjpalmer wants to merge 3 commits into
mainfrom
when-exhaustive

Improve comment

5dfe27d
Select commit
Loading
Failed to load commit list.
DCO / DCO succeeded Jun 13, 2026 in 1s

DCO

All commits are signed off!