A 3.0-s gcc (~20 éves!) is képes kiszedni a redundáns/felesleges ellenőrzéseket, szóval eléggé elvárható asszem, hogy a Rust megtegye ezt az optimalizálást. Én inkább olyan optimalizálásra lennék kíváncsi, amit a Rust megcsinál, viszont a gcc/clang nem.