Andrei Alexandrescu:
That reminds me of this approach to implement non-nullables: http://research.microsoft.com/pubs/67461/non-null.pdfYes, that's our source of inspiration for cooked/raw.
So maybe it's possible to re-use the same compiler logic (routines) to support built-in non-nullables (but non-nullables need some more logic, their management is more complex).
Bye, bearophile
