Module synthetic 

Structs

SyntheticAttrState 🔒

This struct contains the state necessary to convert synthetic attributes to hir attributes The only conversion that really happens here is that multiple synthetic attributes are merged into a single hir attribute, representing their combined state. FIXME: We should make this a nice and extendable system if this is going to be used more often