<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Feb 18, 2014 at 3:33 PM, Hans Wennborg <span dir="ltr"><<a href="mailto:hans@chromium.org" target="_blank">hans@chromium.org</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="">On Tue, Feb 18, 2014 at 3:08 PM, Reid Kleckner <<a href="mailto:rnk@google.com">rnk@google.com</a>> wrote:<br>

> We don't generally emit notes that aren't attached to warnings.  This seems<br>
> fine to me in this instance.<br>
<br>
</div>Yes, I figured printing a warning or error would be weirder though.<br>
<br>
One other place where we print a note like this is when preparing<br>
crash reports. I think this situation is kinda similar.</blockquote></div><br>I would much prefer a warning.</div><div class="gmail_extra"><br></div><div class="gmail_extra">Notes are routinely skipped entirely by parsing logic unless attached to a warning or other diagnostic.</div>
</div>