Fixing confusion between mod and remainder#107389

Merged

bors merged 3 commits intorust-lang:masterfrom zvavybir:master

Feb 1, 2023

Commits on Jan 27, 2023

Fixed confusement between mod and remainder
Matthias Kaak
committed

Commits on Jan 30, 2023

Improved wording of error messages of missing remainder implementations
Matthias Kaak
committed
Ran rustfmt
Matthias Kaak
committed