I think contract validation is definitely a useful example to show, but I worry that if we use @nonnull as the hypothetic contract that the discussion will rathole on non-nullability. I, of course, care a lot about non-nullability, but it's not relevant to this proposal. :)
I think contract validation is definitely a useful example to show, but I worry that if we use
@nonnull
as the hypothetic contract that the discussion will rathole on non-nullability. I, of course, care a lot about non-nullability, but it's not relevant to this proposal. :)How about
@nonnegative
or something?