Skip to content

Remove trivial cast in guaranteed_eq#116760

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

Commits

Commits on Oct 15, 2023