Skip to content

Mark the invalid discriminant case as unreachable.#14

Open
jacobsa wants to merge 3 commits intobrain0:masterfrom
jacobsa:unreachable-unchecked
Open

Mark the invalid discriminant case as unreachable.#14
jacobsa wants to merge 3 commits intobrain0:masterfrom
jacobsa:unreachable-unchecked

Commits

Commits on Dec 15, 2025