Skip to content

Remove trivial cast in guaranteed_eq#116760

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

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

Commits

Commits on Oct 15, 2023