That is correct, here is a playground link which shows that result: https://play.rust-lang.org/?version=stable&mode=debug&editio...