Shortcut evaluation for hierarchy of in contracts

[Daniel Murphy]

"Andrei Alexandrescu" <SeeWebsiteForEmail at erdani.org> wrote in message 
news:iuorep$bn2$1 at digitalmars.com...
>
> http://d.puremagic.com/issues/show_bug.cgi?id=6242
>

What should the error message be?