Skip to content

Rename unecessary_nonzero_get to needless_nonzero_get - #17538

Merged
rustbot merged 1 commit into
rust-lang:masterfrom
Gri-ffin:rename_unecessary_nonzero_get
Aug 11, 2026
Merged

Rename unecessary_nonzero_get to needless_nonzero_get#17538
rustbot merged 1 commit into
rust-lang:masterfrom
Gri-ffin:rename_unecessary_nonzero_get