On Saturday, 4 January 2014 at 07:42:51 UTC, ilya-stromberg wrote:
I don't know Timon Gehr's opinion, but it will be very nice to have NOT NULL pointers.
I don't disagree, but isn't that just a special case of type constraints? Why limit it arbitrarily to null-values, limiting the range of values is useful for ints and floats too. If you move the constraint check to the function caller you can avoid testing when it isn't needed.