On 4/6/2012 4:20 AM, Manu wrote: > On 4/6/2012 2:54 AM, Timon Gehr wrote: > Should add additional information to the type Foo. > Attributes are on the declaration, and not passed around. Right, they are not added to the *type*.