As of T295834, annotation tags are unconditionally stripped from template arguments. It is conceivable, for later work, to make this behaviour configurable:

• depending on the annotation
• in conjunction with some thoughts about typed template arguments, we can also consider making it configurable depending on the type of the template argument.