Parametric attributes

[Timon Gehr]

On 10/2/24 02:43, Manu wrote:
> 
> The trouble with this, obviously, is; how do you mangle this function? 
> It's not a template... so...?

Another interesting question is how it interacts with template 
instantiation (i.e., you instantiate a template with a type that 
contains a parametric attribute). One way would be to force local 
instantiation, another way involves adding parametric attributes to the 
instance itself.