A definition in Rust can have attributes attached to them, .e.g., tool attributes. They are used by different tools to add metadata to the user code that can provide more information on how the code must be analyzed.

StableMIR should provide an API to retrieve the attributes of a crate definition. We can probably add a new method to the CrateDef that returns a list of Attributes attached to them.