Namespace:
Good point. I had completely forgotten, that that is possible.But it seems that no one would have interest in my second proposal. :)
Similar things were discussed a lot. And some people think that similar nonnull annotations are a good idea.
Bye, bearophile
