I think compiler should also apply attribute inference to the nested struct at template function body. It's reasonable so that's also a part of *instantiated code*.