> in fact because of UB in C many forms of optimization are impossible in C because of aliasing uncertainty. This doesn't seem right? Specific types of aliasin

> in fact because of UB in C many forms of optimization are impossible in C because of aliasing uncertainty. This doesn't seem right? Specific types of aliasing make optimization more difficult/impossible because they are specifically not UB. Rust's aliasing optimizations can (theoretically?) occur specifically because same-type aliasing is UB in Rust. I'm not sure how "UB prevents optimization" falls out of that?