I don't think an attribute would be appropriate for this. With attributes a design principle is that the implementation should still be considered conforming if it ignores the attribute. Presumably you want to write portable code using your proposed feature, but if it were an attribute, then compilers could refuse to compile it by not supporting the attribute.

I am not aware of any proposals for this feature, but IMHO it is worth exploring. Scott Meyers explained that if, for example, you want to add logging to your class's destructor, then suddenly you're forced to explicitly default the move constructor, and as soon as you do that, your program will stop compiling if it employs aggregate initialization. It is not possible to perfectly emulate aggregate initialization using a user-written constructor, particularly now that we have designated initializers.  Having a way to explicitly opt in to aggregate initialization is the only way I can see to solve this problem.