
<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><blockquote type="cite"><div><blockquote type="cite"><br></blockquote><blockquote type="cite">OK I guess. The assert meant such things wouldn't be missed, but seeing the message for each duplicate pattern may outweigh that :)<br></blockquote><br>This is a hard error, not a warning, so the build will still fail if it gets hit. The only difference in behaviour should essentially be a prettier error message. Or is there something else I'm missing?<br></div></blockquote></div><br><div>Aaaah. I read "diagnostic" as "warn" not "diagnostic" as "aaaaaaaaaa!"</div><div><br></div><div>-eric</div></body></html>