On: A comparison of Rust’s borrow checker to the one in C#

[int_19h]

You should be able to remove `restrict` in any valid C program and still compile it and run it with the same result, no? Adding `restrict` can make otherwise valid code UB if there's aliasing, but the reverse shouldn't ever appply.

[umanwizard → int_19h]

I think OP meant you could remove the “restrict” keyword from the language and most programs would still compile fine.