Time ago I have suggested a syntax like Foo@ to represent in D the subtype of Foo references that can't be null.
That would be nice. Anyhow a lot better as any library solution. But I think it will be resulting in a NotNullable struct in std.typecons...
