C++ 23: A Review

It's been a while since we've talked to either of you. So I think there's a couple of things we wanted to catch up on. Timor, you're working on P-174. Can you tell us a little bit about that paper? Yeah. It's called portable assumptions and it gives you this new attribute, double square bracket assume. And then you can say assume some expression. And what the compiler is going to do with that? You can say assume x greater than zero, for example. But if you put in basically an expression that's false,Then that's just instantly ub because the compilation will optimize based on the fact that this is not going to happen.