They are long to type and hard to read. They are so inconvenient to use that nobody uses them, even developers of Rust. Take source code of Vec as an example [1]. They use wrapping addition instead of checked one.
For comparison, in Swift normal arithmetic operations check for overflow.
https://doc.rust-lang.org/std/primitive.u32.html#method.chec...
So this is not an issue at all.