Skip to content

Add Discriminant::ord - #165443

Merged
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
bushrat011899:discriminant_ord
Nov 5, 2026
Merged

rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
bushrat011899:discriminant_ord