<div class="gmail_quote">On Thu, Jul 14, 2011 at 5:04 PM, Douglas Gregor <span dir="ltr"><<a href="mailto:dgregor@apple.com">dgregor@apple.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
IMO, the right approach would be to suppress this warning when the constant value itself was instantiated from something... although that's rather trickier to implement.</blockquote></div><br><div>I don't disagree with your premise.... but it does seem much trickier to implement. We don't have the nice type sugar in non-types to indicate that substitution took place. Is it worth adding that for this? Are there other good reasons to add it?</div>
<div><br></div><div>(Also, this patch seems a strict improvement, and we can add the refined checking you're mentioning as a second step? I'd like to avoid the false positives we were seeing with the previous incarnation)</div>