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

Remove trivial cast in `guaranteed_eq`

fe9d422
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs