So that’s exactly what I think you’re missing here. In upcoming versions, you won’t need those annotations. Take some time to look into Nullable reference types.
I think it's far from being ready. Especailly if it introduces breaking changes. Switching midsets is difficult and if you hide a feature behind a compiler switch it's not going to work.
By the way John Skeet found 2 bugs straight away...
We're a place where coders share, stay up-to-date and grow their careers.
We strive for transparency and don't collect excess data.