On Monday, 8 December 2014 at 21:07:39 UTC, Walter Bright wrote:
But was there any reason why those traits (alien to type qualifiers) were pursued? What is the problem with `ref` simply meaning `non-null pointer` andallowing non-idempotent ref(ref(int))?Because it isn't just a non-null pointer (and ref's can still be null in C++!), it's an auto-dereferencing pointer.
Don't want to distract from topic that actually matters but would be nice to ask you few more question on topic at some point.
