{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"///"}]}
    /// The `#[align(...)]` attribute. Determines the alignment of the function body.
    pub instruction_set: Option<InstructionSetAttr>,
    // FIXME(#82232, #143834): temporarily renamed to mitigate `#[align]` nameres ambiguity