Diego Novillo <[EMAIL PROTECTED]> writes: | On Saturday 12 November 2005 12:27, Per Bothner wrote: | | > I think you're missing the point. The proposal is for a "type variant" | > - not that different from say "constant". | > | Ah, yes, sorry about that. Yes, that would be useful as well. However, | that is an orthogonal issue to having non-NULL function attributes. We | can use both.
I'm not convinced. I believe Per's suggestion is far superior, and more general and does cover pretty well the issue at hand. Plus, a pointer-type-without-null is another spelling for reference type. -- Gaby
