This is pretty much exactly how it works in C# nowadays (though it’s opt-in).