@pcwalton would much prefer this to be `Vec<ast::Attribute>` (`~[]` is being removed, so no need to add more)