> This is especially weird because Jonathan explicitly calls out the "new languages" like Carbon and whatever Herb will call his thing.

You overestimate my knowledge of Rust :D I wasn't aware that NonZeroU32 is a thing, thanks for pointing it out.