On 2/2/14, 9:55 AM, Timon Gehr wrote:
On 02/02/2014 05:55 PM, Andrei Alexandrescu wrote:I think of the following foci for the first half of 2014: 1. Add @nullable and provide a -nullable compiler flag to verify it. The attribute is inferred locally and for white-box functions (lambdas, templates), and required as annotation otherwise. References not annotated with @nullable are statically enforced to never be null.- I assume that also, references annotated with @nullable are statically enforced to never be dereferenced?
Correct.
- how to eg. create an array of nullable references? struct Nullable!T{
@nullable T t; alias t this; } Nullable!T[] foo; ? I think that would
cause problems with IFTI.
I don't know. We'd need to figure out a way. Andrei
