Skip to content

Remove trivial cast in guaranteed_eq - #116760

Merged
bors merged 1 commit into
rust-lang:masterfrom
Noratrieb:triviality
Oct 15, 2023
Merged

Remove trivial cast in guaranteed_eq#116760
bors merged 1 commit into
rust-lang:masterfrom
Noratrieb:triviality

Commits

Commits on Oct 15, 2023