position of section() attribute question

[DJ Delorie]

> The various exceptions of the form "if an attribute is applied to the type 
> of a decl which can only apply to a decl, then apply it to the decl" are 
> there because they represent forms used by existing code.

What about this scenario?

typedef int __attribute__((section("foo"))) FOOINT;

FOOINT a;

Would it make sense to allow this sort of thing?  Would it be feasible
to implement?