<div class="gmail_quote">On Wed, Apr 18, 2012 at 9:56 PM, John McCall <span dir="ltr"><<a href="mailto:rjmccall@apple.com">rjmccall@apple.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div style="word-wrap:break-word"><div><div class="h5"><div><div>On Apr 18, 2012, at 8:35 PM, Chandler Carruth wrote:</div><blockquote type="cite"><div><div class="gmail_quote">On Wed, Apr 18, 2012 at 8:09 PM, Rafael Espíndola <span dir="ltr"><<a href="mailto:rafael.espindola@gmail.com" target="_blank">rafael.espindola@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div>I have a small concern that if a users writes an explicit<br>
attribute in a class member,  he will find it surprising when it gets<br>
overwritten.</div></blockquote></div><br></div><div>I'm not sufficiently well versed in visibility rules to really chime in on what the right model is, but there is a simple solution to this problem at least: add a warning about explicit member visibility attributes that get overridden?</div>
</blockquote><br></div></div></div><div>But all of the attributes here have an effect.  If you instantiated</div><div>Rafael's template at a type with non-hidden visibility, e.g. int,</div><div>the member's attribute still takes precedence.  The attribute is</div>
<div>only "overridden" in the specific case of instantiating the</div><div>template at a hidden argument.  I'm not convinced this is</div><div>actually a problem that bears a warning, vs. something that</div>
<div>we should defer to some hypothetical "explain everything that's</div><div>happening with this symbol" IDE query.</div></div></blockquote><div><br></div><div>Yea, I was thinking more of the case without the template as deserving a warning. </div>
</div>