> 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...