[sv-ec] Mantis 3028 and other constraints issues

hi EC,

I've uploaded a revised proposal for 3028, attempting to reflect
the discussion in the last meeting. Please check it matches the
results of that discussion. I had to cook up a definition of
"leaf element" for unpacked arrays; we had talked about echoing
the definition of "inside", but that doesn't work because it
can descend through structs and what-have-you to reach any
singular value, which we can't allow for unique{}.

Could I also jog people's memories that we have not yet gotten
anywhere close to a satisfactory suggestion for constraint
composition (Mantis 3003). That is supposed to be on my
hit-list too, but I regard it as Much Too Hard For Me (TM)
in the absence of clear direction from the committee.

Thanks

-- 
Jonathan Bromley
-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.