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.