a warning to implement

[Robert Dewar]

<<Now, even in the case of fundamental interger type T, since the
value of x is an inderterminate, that construct can be used to give
an explicit hint to the compiler to handle « x » in special way --
e.g. it may have a trap representation if used in a context where
there were no intervening assignment which changed x's value in a
definite way.  Pretty much, in the same of SNaNs.
>>

Seems like a horrible kludge to me. If you want to tell the compiler
something special, please do it in some direct way, and not by some
very peculiar interpretation of a meaningless construct.