<div class="gmail_quote">On 6 April 2012 13:23, Walter Bright <span dir="ltr"><<a href="mailto:newshound2@digitalmars.com" target="_blank">newshound2@digitalmars.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div>On 4/6/2012 2:54 AM, Timon Gehr wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Should add additional information to the type Foo. I don't see any issues with<br>
it, and not supporting it would be very strange.<br>
</blockquote>
<br></div>
How would:<br>
<br>
   @attr(foo) int x;<br>
   int y;<br>
<br>
work? Are x and y the same type or not?</blockquote><div><br></div><div>Yes they are the same type.</div><div><br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

 Now, consider:<br>
<br>
   auto c = b ? x : y;<br></blockquote><div><br></div><div>c was not attributed, and has no attributes.</div><div>@blah auto c = b ? x : y; // NOW 'c' is attributed with 'blah', as useless as that is :)</div>

<div><br></div><div>Attributes are on the declaration, and not passed around.</div></div>