Custom attributes (again)

[Timon Gehr]

On 04/06/2012 02:23 PM, Jacob Carlborg wrote:
> I would like to have the possibility to attach attributes to types and
> parameters as well. Some think like this:
>
> class Bar
> {
> @not_null(Foo) bar (@custom int a) {}
> }
>
> Where @not_null is attached to "Foo" and @custom is attached to "a".
>

@not_null cannot be attached to "Foo". It would have to create a new 
symbol @not_null(Foo). And then, all the concerns Walter has raised apply.