Account for rounding errors when deciding the diagnostic boundaries#64029

bors merged 3 commits intorust-lang:masterrust-lang/rust:masterfrom

estebank:fix-miriestebank/rust:fix-miriCopy head branch name to clipboard