I don't think that they're talking about adding this at the language level. Nothing is changing in the C# spec for this, for example. This is just talking about

I don't think that they're talking about adding this at the language level. Nothing is changing in the C# spec for this, for example. This is just talking about the kinds of code that the optimizer and JITter are allowed to generate on the back end.