null [re: spec#]

[Eric Poggel]

On 11/6/2010 6:50 AM, bearophile wrote:
> foobar:
>
>> Any type can be wrapped by an OPTION type. trying to do the converse of this is impractical and is bad design.
>
> Discussing this is a waste of time now, this part of the D language will probably never change.
> This is why other people and me are proposition something different.
>
> Bye,
> bearophile

I still live in D1 land, so forgive me if I'm out of the loop--but what 
keeps this from being implemented at the library level as templated 
type:  NotNull!(T) ?  If there are limitations, maybe these areas of the 
language can be improved to get us there?