I think this is a bug in RA since `rustc` doesn't have any problems with the same attributes. 